From 35d1117670adc0b7e50e464e781372262588ea7a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 30 Dec 2014 12:27:38 +0100
Subject: cparser/Parser.v is generated.

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

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
-- 
cgit