X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FMakefile;h=bdd7381359d12b4d9c88a7843a78721aea1b60db;hb=afa05d30f20de12e031c3e5c3e5c33c19c42a7d8;hp=e47b37a53cc6b249f60fc1f1004c20926ef0f26d;hpb=b59af8af91b819bfac1137e3a4d37c35c6f38f1e;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 =