X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2F.depend.opt;h=3ae365e6dec6f598685926957bd82ff7659c777e;hb=386777d30397b3d87dc88832b57fb897f2e51506;hp=f5f529ef70ec8db3f3549e989e227af15506b37c;hpb=973b0b1fd5f44b96a3c367a9756f28b75b9fa30b;p=helm.git

diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/lambda-delta/.depend.opt
index f5f529ef7..3ae365e6d 100644
--- a/helm/software/lambda-delta/.depend.opt
+++ b/helm/software/lambda-delta/.depend.opt
@@ -1,3 +1,5 @@
+lib/nUri.cmo: lib/nUri.cmi 
+lib/nUri.cmx: lib/nUri.cmi 
 automath/autOutput.cmi: automath/aut.cmx 
 automath/autOutput.cmo: lib/cps.cmx automath/aut.cmx automath/autOutput.cmi 
 automath/autOutput.cmx: lib/cps.cmx automath/aut.cmx automath/autOutput.cmi