X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Furimanager%2FMakefile;h=afd7d4442543c5374a6bb5b7dbf39a890d75ce0c;hb=f7aedf0ebd0fb55d3587db4f0753521927dcbb69;hp=8d5691aaf6f34b3ffb3ba188d550bf0d75fb2393;hpb=0195d58340f7dbc852d380a8fee897e1c1f7da03;p=helm.git

diff --git a/helm/ocaml/urimanager/Makefile b/helm/ocaml/urimanager/Makefile
index 8d5691aaf..afd7d4442 100644
--- a/helm/ocaml/urimanager/Makefile
+++ b/helm/ocaml/urimanager/Makefile
@@ -1,5 +1,4 @@
 PACKAGE = urimanager
-REQUIRES = str
 PREDICATES =
 
 INTERFACE_FILES = uriManager.mli