X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fgetter%2F.depend;h=20f69cf0c810c91e600fa5263c93c1b0ce86f3cb;hb=2b2b90087f836c2f32291935216549e9370e68c3;hp=9f77a24585d6083eb089df5fa78145ce21c00a63;hpb=058c4c38273eac779cc2fab2f662e09df05ee787;p=helm.git

diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend
index 9f77a2458..20f69cf0c 100644
--- a/helm/ocaml/getter/.depend
+++ b/helm/ocaml/getter/.depend
@@ -1,3 +1,4 @@
+http_getter_env.cmi: http_getter_types.cmo 
 http_getter_common.cmi: http_getter_types.cmo 
 http_getter.cmi: http_getter_types.cmo 
 http_getter_wget.cmo: http_getter_types.cmo http_getter_wget.cmi