basic_ag/bagUntrusted.cmi: lib/hierarchy.cmi basic_ag/bag.cmx
basic_ag/bagUntrusted.cmo: basic_ag/bagType.cmi basic_ag/bagEnvironment.cmi \
basic_ag/bag.cmx basic_ag/bagUntrusted.cmi
basic_ag/bagUntrusted.cmi: lib/hierarchy.cmi basic_ag/bag.cmx
basic_ag/bagUntrusted.cmo: basic_ag/bagType.cmi basic_ag/bagEnvironment.cmi \
basic_ag/bag.cmx basic_ag/bagUntrusted.cmi