]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/Makefile
Fun implemented.
[helm.git] / helm / ocaml / mathql / Makefile
index 8eb819bd30dc808182e640d2edc8ceec2e7bb27f..c381b8dc863ba854cd99ebb1d6c389d2e8d03aa4 100644 (file)
@@ -1,5 +1,5 @@
 PACKAGE = mathql
-REQUIRES = helm-urimanager
+REQUIRES = helm-urimanager
 PREDICATES =
 
 INTERFACE_FILES = mQueryTParser.mli mQueryUtil.mli