X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2F.depend.opt;h=4ad04534d4faef4d00ac2ace947c3514f54feaa5;hb=9449ec60150ea2326d7b54ad9c4f51e36d06bb65;hp=60e0390bddd0156e6ff4802b47d226179b59b10a;hpb=f870943aedc6ef6f51be134ed3e82bbc03b3eea1;p=helm.git

diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/lambda-delta/.depend.opt
index 60e0390bd..4ad04534d 100644
--- a/helm/software/lambda-delta/.depend.opt
+++ b/helm/software/lambda-delta/.depend.opt
@@ -8,6 +8,8 @@ automath/autParser.cmo: automath/aut.cmx automath/autParser.cmi
 automath/autParser.cmx: automath/aut.cmx automath/autParser.cmi 
 automath/autLexer.cmo: automath/autParser.cmi 
 automath/autLexer.cmx: automath/autParser.cmx 
+basic_rg/brg.cmo: lib/nUri.cmi automath/aut.cmx 
+basic_rg/brg.cmx: lib/nUri.cmx automath/aut.cmx 
 toplevel/meta.cmo: lib/nUri.cmi automath/aut.cmx 
 toplevel/meta.cmx: lib/nUri.cmx automath/aut.cmx 
 toplevel/metaOutput.cmi: toplevel/meta.cmx