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

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 \