X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2FMakefile;h=99529c2d4595d7e446deef39d3bd336956ff5f65;hb=4cb4d286a1fdcb150c2848a9d21ac3486906c317;hp=cc2519cfc693ae2281556a73e546ff7046373fc1;hpb=7668522147126e620258e6d22c16a2b0fa56feb4;p=helm.git

diff --git a/helm/ocaml/getter/Makefile b/helm/ocaml/getter/Makefile
index cc2519cfc..99529c2d4 100644
--- a/helm/ocaml/getter/Makefile
+++ b/helm/ocaml/getter/Makefile
@@ -2,8 +2,8 @@
 PACKAGE = getter
 
 REQUIRES = \
-	http dbm pcre pxp shell zip \
-	helm-thread helm-logger helm-urimanager helm-registry
+	http dbm pcre shell zip \
+	helm-pxp helm-thread helm-logger helm-urimanager helm-registry
 
 INTERFACE_FILES = \
   	clientHTTP.mli \