first commit for Helena 0.8.2

[helm.git] / helm / software / lambda-delta / .depend.opt

diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/lambda-delta/.depend.opt
index ab31669d6af2f06627919e20497d99b208b2e0ca..38ad6683431c448ce30c10b273c3bccd3f347ba7 100644 (file)
--- 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