X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2F.depend;h=6402ae55b38660205eeab97dda6bbd52198d4bab;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=a495dfeabe522060659d9b116781f8842c619264;hpb=c01d2aaea05f7385bee46addd900cd0397756389;p=helm.git

diff --git a/helm/interface/.depend b/helm/interface/.depend
index a495dfeab..6402ae55b 100644
--- a/helm/interface/.depend
+++ b/helm/interface/.depend
@@ -82,6 +82,8 @@ deannotate.cmo: cic.cmo
 deannotate.cmx: cic.cmx 
 cicXPath.cmo: cic.cmo 
 cicXPath.cmx: cic.cmx 
+pxpUriResolver.cmo: configuration.cmo 
+pxpUriResolver.cmx: configuration.cmx 
 annotationParser.cmo: annotationParser2.cmo pxpUriResolver.cmo 
 annotationParser.cmx: annotationParser2.cmx pxpUriResolver.cmx 
 annotationParser2.cmo: cic.cmo