ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / .cvsignore

diff --git a/helm/ocaml/cic_notation/.cvsignore b/helm/ocaml/cic_notation/.cvsignore
index 36ef68a9e8504ea3d1621c12714685a1ace4c388..45ec2c22f06e622c937d849764648b4aa73f6da7 100644 (file)
--- a/helm/ocaml/cic_notation/.cvsignore
+++ b/helm/ocaml/cic_notation/.cvsignore
@@ -4,3 +4,4 @@
 test_lexer
 test_parser
 test_dep
+print_grammar