X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_test%2FMakefile;h=04fea5185fd64a9b1b0c3d6989b309fbc19b402f;hb=91db309a46f8b6f100a36abbc568deec10a8d1df;hp=6b2c6662f72b346f158ee43831aab8ec70e3e567;hpb=d59d2f93956bcbe4dd7bb3407e3c53de8b66c003;p=helm.git

diff --git a/helm/ocaml/mathql_test/Makefile b/helm/ocaml/mathql_test/Makefile
index 6b2c6662f..04fea5185 100644
--- a/helm/ocaml/mathql_test/Makefile
+++ b/helm/ocaml/mathql_test/Makefile
@@ -1,6 +1,6 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic helm-cic_textual_parser helm-mathql \
-      helm-mathql_interpreter helm-mathql_generator 
+REQUIRES = unix helm-cic_textual_parser \
+	   helm-mathql helm-mathql_interpreter helm-mathql_generator
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)