src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brgCrg.cmx \
src/basic_rg/brg.cmx src/common/alpha.cmx src/basic_rg/brgOutput.cmi
src/basic_rg/brgEnvironment.cmi : src/basic_rg/brg.cmx
-src/basic_rg/brgEnvironment.cmo : src/common/entity.cmx \
- src/basic_rg/brgEnvironment.cmi
-src/basic_rg/brgEnvironment.cmx : src/common/entity.cmx \
- src/basic_rg/brgEnvironment.cmi
+src/basic_rg/brgEnvironment.cmo : src/common/options.cmx \
+ src/common/entity.cmx src/basic_rg/brgEnvironment.cmi
+src/basic_rg/brgEnvironment.cmx : src/common/options.cmx \
+ src/common/entity.cmx src/basic_rg/brgEnvironment.cmi
src/basic_rg/brgSubstitution.cmi : src/basic_rg/brg.cmx
src/basic_rg/brgSubstitution.cmo : src/common/options.cmx \
src/basic_rg/brg.cmx src/basic_rg/brgSubstitution.cmi