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

diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile
index e47b37a53..bdd738135 100644
--- a/helm/ocaml/mathql_interpreter/Makefile
+++ b/helm/ocaml/mathql_interpreter/Makefile
@@ -1,6 +1,4 @@
 PACKAGE = mathql_interpreter
-REQUIRES = helm-urimanager helm-mathql mysql postgres helm-registry
-#natile-galax 
 
 PREDICATES =