X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FMakefile;h=a700bb5ac9360ba8fe3b9132db9700ac38599843;hb=5a369548a2f04fb59b5cbb94526325aae9bf415a;hp=e41e3bbc2c6508e440b906a5b80aaf7e7dc33a60;hpb=6947d854bee933128bee8f060bedd475fcb49cf9;p=helm.git

diff --git a/helm/ocaml/mathql/Makefile b/helm/ocaml/mathql/Makefile
index e41e3bbc2..a700bb5ac 100644
--- a/helm/ocaml/mathql/Makefile
+++ b/helm/ocaml/mathql/Makefile
@@ -1,5 +1,5 @@
 PACKAGE = mathql
-REQUIRES = helm-urimanager helm-cic helm-cic_textual_parser
+REQUIRES = helm-urimanager helm-cic helm-cic_textual_parser 
 PREDICATES =
 
 INTERFACE_FILES = mQueryTParser.mli mQueryUtil.mli mQueryMisc.mli