X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.in;h=ec30fb868343eff2ed0920b63ba7a7a7d6628656;hb=d3c72d6856cd185e5b3e9f2e8b928b78c7031ed1;hp=caa5169d6b567538e2d8dd710b09499dd05c1686;hpb=8a96c5b22d51ee2bbecdacbe5e16397914b3a3fb;p=helm.git

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index caa5169d6..ec30fb868 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -13,12 +13,13 @@ MODULES = \
 	tex_cic_textual_parser \
 	cic_unification \
 	mathql \
-	mathql mathql_generator \
+	mathql_generator \
 	mathql_interpreter \
 	cic_omdoc \
 	tactics \
 	cic_transformations \
-	logger
+	logger \
+	cic_textual_parser2
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@