X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql%2FMakefile;h=17cafb431be4da2eb6959dc1ae86f338c5943519;hb=489ee5290cce2247291b8c5c53b98d493e7f6b99;hp=203d043713521140a51825b023947157d49b9ec2;hpb=fafcc706c1ecd6a3966a9b9de72c0de9f494dabe;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 =