X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2F.depend.opt;fp=helm%2Fsoftware%2Flambda-delta%2F.depend.opt;h=38ad6683431c448ce30c10b273c3bccd3f347ba7;hb=651d745df2454a9e232aff3c9d8bf3e77653936d;hp=ab31669d6af2f06627919e20497d99b208b2e0ca;hpb=fb6fee82bb9172e15b1a7bc7e20641627f593fcc;p=helm.git

diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/lambda-delta/.depend.opt
index ab31669d6..38ad66834 100644
--- a/helm/software/lambda-delta/.depend.opt
+++ b/helm/software/lambda-delta/.depend.opt
@@ -135,9 +135,9 @@ src/basic_rg/brgEnvironment.cmo: src/common/entity.cmx src/basic_rg/brg.cmx \
 src/basic_rg/brgEnvironment.cmx: src/common/entity.cmx src/basic_rg/brg.cmx \
     src/basic_rg/brgEnvironment.cmi 
 src/basic_rg/brgSubstitution.cmi: src/basic_rg/brg.cmx 
-src/basic_rg/brgSubstitution.cmo: src/basic_rg/brg.cmx \
+src/basic_rg/brgSubstitution.cmo: src/common/options.cmx src/basic_rg/brg.cmx \
     src/basic_rg/brgSubstitution.cmi 
-src/basic_rg/brgSubstitution.cmx: src/basic_rg/brg.cmx \
+src/basic_rg/brgSubstitution.cmx: src/common/options.cmx src/basic_rg/brg.cmx \
     src/basic_rg/brgSubstitution.cmi 
 src/basic_rg/brgReduction.cmi: src/common/status.cmx src/lib/log.cmi \
     src/common/entity.cmx src/basic_rg/brg.cmx