1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index eaa8caf3..72fb793b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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