X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fpxp%2F.depend;h=194343c475581fb7843a0afe2d56876d90d8e8ae;hb=fd648e40eb2c9c5b29cfa4408459511a74898d1d;hp=5ad7c60e2f1b987019c2893209e658613b277936;hpb=d4dd07ecc4191d9dac83b5d4d23dfc61c4492d77;p=helm.git

diff --git a/helm/ocaml/pxp/.depend b/helm/ocaml/pxp/.depend
index 5ad7c60e2..194343c47 100644
--- a/helm/ocaml/pxp/.depend
+++ b/helm/ocaml/pxp/.depend
@@ -1,2 +1,4 @@
-pxpUriResolver.cmo: csc_pxp_reader.cmo 
-pxpUriResolver.cmx: csc_pxp_reader.cmx 
+pxpUrlResolver.cmo: pxpUrlResolver.cmi 
+pxpUrlResolver.cmx: pxpUrlResolver.cmi 
+pxpHelmConf.cmo: pxpHelmConf.cmi 
+pxpHelmConf.cmx: pxpHelmConf.cmi