X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.in;h=ec30fb868343eff2ed0920b63ba7a7a7d6628656;hb=45bd3127b1ac786dc1ae14284b952fb503ba3094;hp=73c3a91c018c4283844b409fb2351e342f558ef7;hpb=d0b7d92947b7286d8a8b07d72e53f9dbebe844b3;p=helm.git

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 73c3a91c0..ec30fb868 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -18,7 +18,8 @@ MODULES = \
 	cic_omdoc \
 	tactics \
 	cic_transformations \
-	logger
+	logger \
+	cic_textual_parser2
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@