X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FMakefile;h=17cafb431be4da2eb6959dc1ae86f338c5943519;hb=d579fcbe53997bcf8cc617341cd1da5e6d094c13;hp=203d043713521140a51825b023947157d49b9ec2;hpb=de782c7f0c4c841b8ecad9399a0948016cf3e2bd;p=helm.git

diff --git a/helm/ocaml/mathql/Makefile b/helm/ocaml/mathql/Makefile
index 203d04371..17cafb431 100644
--- a/helm/ocaml/mathql/Makefile
+++ b/helm/ocaml/mathql/Makefile
@@ -1,5 +1,5 @@
 PACKAGE = mathql
-REQUIRES = helm-cic
+
 PREDICATES =
 
 INTERFACE_FILES =