X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2F.depend.opt;h=19f473c6d9f164d48f6be61f754f604dec364751;hb=f00757144b2cd7e6457fed55dbc1309d11a542dc;hp=eb479838eab1f60d76cc4d2dea066b9112b2fe72;hpb=f7bb626faf6b9d89c0ee5ac48b1d97c69d189f8a;p=helm.git

diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/lambda-delta/.depend.opt
index eb479838e..19f473c6d 100644
--- a/helm/software/lambda-delta/.depend.opt
+++ b/helm/software/lambda-delta/.depend.opt
@@ -126,6 +126,11 @@ dual_rg/drgAut.cmo: lib/nUri.cmi common/entity.cmx dual_rg/drg.cmx \
     lib/cps.cmx automath/aut.cmx dual_rg/drgAut.cmi 
 dual_rg/drgAut.cmx: lib/nUri.cmx common/entity.cmx dual_rg/drg.cmx \
     lib/cps.cmx automath/aut.cmx dual_rg/drgAut.cmi 
+dual_rg/drgBrg.cmi: dual_rg/drg.cmx basic_rg/brg.cmx 
+dual_rg/drgBrg.cmo: common/entity.cmx dual_rg/drg.cmx lib/cps.cmx \
+    basic_rg/brg.cmx dual_rg/drgBrg.cmi 
+dual_rg/drgBrg.cmx: common/entity.cmx dual_rg/drg.cmx lib/cps.cmx \
+    basic_rg/brg.cmx dual_rg/drgBrg.cmi 
 toplevel/meta.cmo: common/entity.cmx 
 toplevel/meta.cmx: common/entity.cmx 
 toplevel/metaOutput.cmi: toplevel/meta.cmx