mathql listed twice

[helm.git] / helm / ocaml / Makefile.in

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index caa5169d6b567538e2d8dd710b09499dd05c1686..73c3a91c018c4283844b409fb2351e342f558ef7 100644 (file)
--- 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 \