X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FMakefile;h=c381b8dc863ba854cd99ebb1d6c389d2e8d03aa4;hb=9a73e22935eb65da9e23ece23ad152d79629c661;hp=8eb819bd30dc808182e640d2edc8ceec2e7bb27f;hpb=32f737bea2029db1f4870ec8a3a39ba6d2e4a57d;p=helm.git

diff --git a/helm/ocaml/mathql/Makefile b/helm/ocaml/mathql/Makefile
index 8eb819bd3..c381b8dc8 100644
--- a/helm/ocaml/mathql/Makefile
+++ b/helm/ocaml/mathql/Makefile
@@ -1,5 +1,5 @@
 PACKAGE = mathql
-# REQUIRES = helm-urimanager
+REQUIRES = helm-urimanager
 PREDICATES =
 
 INTERFACE_FILES = mQueryTParser.mli mQueryUtil.mli