]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/.depend.opt
- simpler attribute system
[helm.git] / helm / software / helena / .depend.opt
index a07afc02ec8e15c7376dda2ffe67c86619d2c284..ea95cf09bb378061b30cc4296b8c86ea8d3b700e 100644 (file)
@@ -223,10 +223,12 @@ src/basic_ag/bagOutput.cmx : src/xml/xmlCrg.cmx src/common/options.cmx \
     src/common/entity.cmx src/basic_ag/bagCrg.cmx src/basic_ag/bag.cmx \
     src/basic_ag/bagOutput.cmi
 src/basic_ag/bagEnvironment.cmi : src/basic_ag/bag.cmx
-src/basic_ag/bagEnvironment.cmo : src/lib/log.cmi src/common/entity.cmx \
-    src/basic_ag/bag.cmx src/basic_ag/bagEnvironment.cmi
-src/basic_ag/bagEnvironment.cmx : src/lib/log.cmx src/common/entity.cmx \
-    src/basic_ag/bag.cmx src/basic_ag/bagEnvironment.cmi
+src/basic_ag/bagEnvironment.cmo : src/common/options.cmx src/lib/log.cmi \
+    src/common/entity.cmx src/basic_ag/bag.cmx \
+    src/basic_ag/bagEnvironment.cmi
+src/basic_ag/bagEnvironment.cmx : src/common/options.cmx src/lib/log.cmx \
+    src/common/entity.cmx src/basic_ag/bag.cmx \
+    src/basic_ag/bagEnvironment.cmi
 src/basic_ag/bagSubstitution.cmi : src/lib/marks.cmi src/basic_ag/bag.cmx
 src/basic_ag/bagSubstitution.cmo : src/lib/share.cmx src/basic_ag/bag.cmx \
     src/basic_ag/bagSubstitution.cmi