diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-11-24 09:00:39 +0100 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-11-24 09:00:39 +0100 |
| commit | aa489359655148ea37a432ec43f8bde854da6847 (patch) | |
| tree | c312844f5391f539516ce8ff166b045cda5b02f4 /pg | |
| parent | e20490e57b6098c330187e51908b8e1b9975e72e (diff) | |
| download | compcert-aa489359655148ea37a432ec43f8bde854da6847.tar.gz compcert-aa489359655148ea37a432ec43f8bde854da6847.zip | |
A simplification in the grammar, leading to fewer states in the automaton
and merging two error states into one. There should be no observable change.
Diffstat (limited to 'pg')
0 files changed, 0 insertions, 0 deletions