- static disambiguation of Automath unified binders

[helm.git] / helm / software / helena / .depend.opt

diff --git a/helm/software/helena/.depend.opt b/helm/software/helena/.depend.opt
index abec726080093d6ef5418e7d95cd8da042dce969..d828621709fbd072c81e865a56d8ff687f24f21d 100644 (file)
--- a/helm/software/helena/.depend.opt
+++ b/helm/software/helena/.depend.opt
@@ -33,8 +33,8 @@ src/common/ccs.cmo: src/common/options.cmx src/common/entity.cmx \
     src/lib/cps.cmx src/common/ccs.cmi
 src/common/ccs.cmx: src/common/options.cmx src/common/entity.cmx \
     src/lib/cps.cmx src/common/ccs.cmi
-src/common/status.cmo: src/common/options.cmx src/common/ccs.cmi
-src/common/status.cmx: src/common/options.cmx src/common/ccs.cmx
+src/common/status.cmo: src/common/options.cmx src/common/level.cmi
+src/common/status.cmx: src/common/options.cmx src/common/level.cmx
 src/complete_rg/crg.cmo: src/common/level.cmi src/common/entity.cmx \
     src/lib/cps.cmx
 src/complete_rg/crg.cmx: src/common/level.cmx src/common/entity.cmx \
@@ -88,13 +88,16 @@ src/automath/autLexer.cmo: src/common/options.cmx src/lib/log.cmi \
     src/automath/autParser.cmi
 src/automath/autLexer.cmx: src/common/options.cmx src/lib/log.cmx \
     src/automath/autParser.cmx
-src/automath/autCrg.cmi: src/complete_rg/crg.cmx src/automath/aut.cmx
-src/automath/autCrg.cmo: src/common/options.cmx src/common/marks.cmi \
-    src/common/level.cmi src/common/entity.cmx src/complete_rg/crg.cmx \
-    src/lib/cps.cmx src/automath/aut.cmx src/automath/autCrg.cmi
-src/automath/autCrg.cmx: src/common/options.cmx src/common/marks.cmx \
-    src/common/level.cmx src/common/entity.cmx src/complete_rg/crg.cmx \
-    src/lib/cps.cmx src/automath/aut.cmx src/automath/autCrg.cmi
+src/automath/autCrg.cmi: src/common/status.cmx src/complete_rg/crg.cmx \
+    src/automath/aut.cmx
+src/automath/autCrg.cmo: src/common/status.cmx src/common/options.cmx \
+    src/common/marks.cmi src/common/level.cmi src/common/entity.cmx \
+    src/complete_rg/crg.cmx src/lib/cps.cmx src/automath/aut.cmx \
+    src/automath/autCrg.cmi
+src/automath/autCrg.cmx: src/common/status.cmx src/common/options.cmx \
+    src/common/marks.cmx src/common/level.cmx src/common/entity.cmx \
+    src/complete_rg/crg.cmx src/lib/cps.cmx src/automath/aut.cmx \
+    src/automath/autCrg.cmi
 src/xml/xmlLibrary.cmi: src/common/level.cmi src/common/entity.cmx
 src/xml/xmlLibrary.cmo: src/common/options.cmx src/common/level.cmi \
     src/common/hierarchy.cmi src/common/entity.cmx src/lib/cps.cmx \