From d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 12 Oct 2015 10:50:48 +0200
Subject: We can ignore the generated automation. Bug 17392

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 1c8ff7d9..fc387e39 100644
--- a/.gitignore
+++ b/.gitignore
@@ -37,6 +37,7 @@ cparser/Parser.v
 cparser/Lexer.ml
 cparser/pre_parser.ml
 cparser/pre_parser.mli
+cparser/pre_parser.automaton
 lib/Readconfig.ml
 lib/Tokenize.ml
 driver/Version.ml
-- 
cgit