X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2F.cvsignore;h=45ec2c22f06e622c937d849764648b4aa73f6da7;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=36ef68a9e8504ea3d1621c12714685a1ace4c388;hpb=c4b196a405567468211528b891a69699945aaab6;p=helm.git

diff --git a/helm/ocaml/cic_notation/.cvsignore b/helm/ocaml/cic_notation/.cvsignore
index 36ef68a9e..45ec2c22f 100644
--- a/helm/ocaml/cic_notation/.cvsignore
+++ b/helm/ocaml/cic_notation/.cvsignore
@@ -4,3 +4,4 @@
 test_lexer
 test_parser
 test_dep
+print_grammar