1 files changed, 7 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 296dac75..1dc6c42c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,7 +39,14 @@ cparser/Parser.v
 cparser/Lexer.ml
 cparser/pre_parser.ml
 cparser/pre_parser.mli
+cparser/pre_parser_messages.ml
 cparser/pre_parser.automaton
+cparser/pre_parser.messages
+cparser/handcrafted.messages.bak
+cparser/handcrafted.messages.raw
+cparser/deLexer
+cparser/tests/generated/*.c
+cparser/tests/generated/*.err
 backend/CMparser.automaton
 lib/Readconfig.ml
 lib/Tokenize.ml