X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2F.depend;h=db4ea67e136ca78f420a2e3d3f9dfc5d00fc0bf8;hb=e09713d333183e929f108ff8bb8fbe2a25bfcac7;hp=0955a90ab9e16dbf6663162dca0a69425a9e57f3;hpb=0de1b960f42ac368414b7405a79e7933445ee8af;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/.depend b/helm/DEVEL/ocaml-http/.depend
index 0955a90ab..db4ea67e1 100644
--- a/helm/DEVEL/ocaml-http/.depend
+++ b/helm/DEVEL/ocaml-http/.depend
@@ -1,5 +1,3 @@
-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_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 
@@ -34,6 +32,10 @@ http_response.cmx: http_common.cmx http_constants.cmx http_daemon.cmx \
     http_message.cmx http_misc.cmx http_types.cmx http_response.cmi 
 http_tcp_server.cmo: http_threaded_tcp_server.cmi http_tcp_server.cmi 
 http_tcp_server.cmx: http_threaded_tcp_server.cmi http_tcp_server.cmi 
+http_user_agent.cmo: http_common.cmi http_misc.cmi http_parser.cmi \
+    http_user_agent.cmi 
+http_user_agent.cmx: http_common.cmx http_misc.cmx http_parser.cmx \
+    http_user_agent.cmi 
 http_common.cmi: http_types.cmo 
 http_constants.cmi: http_types.cmo 
 http_daemon.cmi: http_types.cmo