X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FMakefile;fp=helm%2Focaml%2Fmathql_interpreter%2FMakefile;h=555f1621558e56761c84eece891f544cfcc3aa65;hb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;hp=48859300bc1d88eadb1d4431d88e83d4cc1788d4;hpb=efdc3184ccd0738fe48aa0056fc444fba23329e8;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile
index 48859300b..555f16215 100644
--- a/helm/ocaml/mathql_interpreter/Makefile
+++ b/helm/ocaml/mathql_interpreter/Makefile
@@ -5,7 +5,7 @@ REQUIRES = postgres helm-mathql
 PREDICATES =
 
 PRE_IFILES = mQIPostgres.mli mQIMap.mli mQIConn.mli \
-	     mQIUtil.mli mQILib.mli mQIProperty.mli 
+	     mQILib.mli mQIProperty.mli 
 
 POST_IFILES = mQueryIO.mli mQueryInterpreter.mli mQueryStandard.mli