From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Jan 2004 10:39:17 +0000 (+0000)
Subject: mathql listed twice
X-Git-Tag: V_0_5_1_3~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d0b7d92947b7286d8a8b07d72e53f9dbebe844b3;p=helm.git

mathql listed twice
---

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 \