From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 May 2004 16:02:02 +0000 (+0000)
Subject: rebuilt
X-Git-Tag: V_0_0_9~22
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=27ea617fe8ca452c44610db4dc59a65f7b689c1a;p=helm.git

rebuilt
---

diff --git a/helm/DEVEL/ocaml-http/.depend b/helm/DEVEL/ocaml-http/.depend
index 0955a90ab..ab21af903 100644
--- a/helm/DEVEL/ocaml-http/.depend
+++ b/helm/DEVEL/ocaml-http/.depend
@@ -1,5 +1,7 @@
-http_client.cmo: http_common.cmi http_parser.cmi http_client.cmi 
-http_client.cmx: http_common.cmx http_parser.cmx http_client.cmi 
+http_client.cmo: http_common.cmi http_misc.cmi http_parser.cmi \
+    http_client.cmi 
+http_client.cmx: http_common.cmx http_misc.cmx http_parser.cmx \
+    http_client.cmi 
 http_common.cmo: http_constants.cmi http_types.cmo http_common.cmi 
 http_common.cmx: http_constants.cmx http_types.cmx http_common.cmi 
 http_constants.cmo: http_constants.cmi