diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 12:27:38 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 12:27:38 +0100 |
commit | 35d1117670adc0b7e50e464e781372262588ea7a (patch) | |
tree | 97fec1ca3fbbed5e9cb3714984884a26a1fd3e14 | |
parent | a4b766d7b50be79a1d983dbe5f234e951ba0aa46 (diff) | |
download | compcert-35d1117670adc0b7e50e464e781372262588ea7a.tar.gz compcert-35d1117670adc0b7e50e464e781372262588ea7a.zip |
cparser/Parser.v is generated.
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -35,6 +35,7 @@ backend/SelectLong.v backend/CMlexer.ml backend/CMparser.ml backend/CMparser.mli +cparser/Parser.v cparser/Lexer.ml cparser/pre_parser.ml cparser/pre_parser.mli |