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

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index caa5169d6..73c3a91c0 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -13,7 +13,7 @@ MODULES = \
 	tex_cic_textual_parser \
 	cic_unification \
 	mathql \
-	mathql mathql_generator \
+	mathql_generator \
 	mathql_interpreter \
 	cic_omdoc \
 	tactics \