X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmquery_generator%2FMakefile;h=2e1ed8e7d8ae82d01bcc02267ec7a9c16964354c;hb=fc3a73230e9c3a8359944ecbc5546f8f63acac25;hp=423c17d3775362fe0d63216dd69118349efb7843;hpb=ccff14650d0212aeadf0fcf6ef9ed2e792516686;p=helm.git

diff --git a/helm/ocaml/mquery_generator/Makefile b/helm/ocaml/mquery_generator/Makefile
index 423c17d37..2e1ed8e7d 100644
--- a/helm/ocaml/mquery_generator/Makefile
+++ b/helm/ocaml/mquery_generator/Makefile
@@ -1,7 +1,5 @@
 PACKAGE = mquery_generator
-REQUIRES = \
-	helm-urimanager postgres unix natile-galax helm-mathql \
-	helm-mathql_interpreter helm-cic helm-cic_proof_checking
+REQUIRES = helm-urimanager helm-mathql helm-cic helm-cic_proof_checking
 PREDICATES =
 
 INTERFACE_FILES = mQueryLevels.mli mQueryLevels2.mli mQueryGenerator.mli