X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.in;h=ec30fb868343eff2ed0920b63ba7a7a7d6628656;hb=140f8132e436a1e964a52b0b044fce163147491c;hp=02d81d265f58a8f762c468e6554db749f666c290;hpb=ef5ed8ca675b0cbc6604ffbecd23cc3b28982863;p=helm.git

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 02d81d265..ec30fb868 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -10,7 +10,6 @@ MODULES = \
 	cic_cache \
 	cic_proof_checking \
 	cic_textual_parser \
-	cic_textual_parser2 \
 	tex_cic_textual_parser \
 	cic_unification \
 	mathql \
@@ -19,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@