added support for cic_textual_parser2 module

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

diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore
index 3a94cf124328e5e32b698804a3983a10119f968d..5d79f6bc0b7e5b05f1baf51c83b5f88cc90f5edb 100644 (file)
--- a/helm/ocaml/.cvsignore
+++ b/helm/ocaml/.cvsignore
@@ -5,6 +5,7 @@ META.helm-cic_cache
 META.helm-cic_proof_checking
 META.helm-tex_cic_textual_parser
 META.helm-cic_textual_parser
+META.helm-cic_textual_parser2
 META.helm-cic_unification
 META.helm-getter
 META.helm-mathql