X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2F.depend;h=db4ea67e136ca78f420a2e3d3f9dfc5d00fc0bf8;hb=275727242ccdce9df01af65f3bfb2d65283fa197;hp=c175b191250eca5e70e10b97ddcee49ff205c5e5;hpb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/.depend b/helm/DEVEL/ocaml-http/.depend
index c175b1912..db4ea67e1 100644
--- a/helm/DEVEL/ocaml-http/.depend
+++ b/helm/DEVEL/ocaml-http/.depend
@@ -32,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