X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2FMakefile;h=4d3e0a52c0dca2fd70cea00613258a4a320b39a9;hb=a3c9916401dbaac8e59948e878eec0f37e72bf4a;hp=e92099f6e23019724eb3da8c0183d69089c27d1f;hpb=dfdf5642131761008f0b0430594a83d45ab62789;p=helm.git

diff --git a/helm/ocaml/registry/Makefile b/helm/ocaml/registry/Makefile
index e92099f6e..4d3e0a52c 100644
--- a/helm/ocaml/registry/Makefile
+++ b/helm/ocaml/registry/Makefile
@@ -1,6 +1,5 @@
 
 PACKAGE = registry
-REQUIRES = str netstring unix helm-xml
 INTERFACE_FILES = helm_registry.mli
 IMPLEMENTATION_FILES = helm_registry.ml