X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2F.cvsignore;h=93ed7a89c42ba0bde6485e31db8ce9058066621d;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=b94ae04d120a692cd7c524b06a5cb6c4a1ae007f;hpb=0148419c577eab74538b8e2564a64e399d8bdd65;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/.cvsignore b/helm/ocaml/cic_disambiguation/.cvsignore
index b94ae04d1..93ed7a89c 100644
--- a/helm/ocaml/cic_disambiguation/.cvsignore
+++ b/helm/ocaml/cic_disambiguation/.cvsignore
@@ -1,7 +1,5 @@
-*.cma
-*.cmo
-*.cmi
-*.cmx
-*.cmxa
+*.cm[aiox] *.cmxa *.[ao]
 test_lexer
 test_parser
+macro_table.ml
+make_table