actions.cmi: spine.cmi 
bdd_utils.cmi: bdd.cmi 
graph.cmi: actions.cmi bdd.cmi 
parser.cmi: graph.cmi 
prop.cmi: graph.cmi 
spine.cmi: bdd.cmi 
bdd.cmo: bdd.cmi 
bdd.cmx: bdd.cmi 
bdd_utils.cmo: bdd.cmi bdd_utils.cmi 
bdd_utils.cmx: bdd.cmx bdd_utils.cmi 
spine.cmo: bdd.cmi bdd_utils.cmi spine.cmi 
spine.cmx: bdd.cmx bdd_utils.cmx spine.cmi 
actions.cmo: spine.cmi actions.cmi 
actions.cmx: spine.cmx actions.cmi 
graph.cmo: actions.cmi bdd.cmi spine.cmi graph.cmi 
graph.cmx: actions.cmx bdd.cmx spine.cmx graph.cmi 
prop.cmo: bdd.cmi bdd_utils.cmi graph.cmi prop.cmi 
prop.cmx: bdd.cmx bdd_utils.cmx graph.cmx prop.cmi 
parser.cmo: actions.cmi graph.cmi parser.cmi 
parser.cmx: actions.cmx graph.cmx parser.cmi 
main.cmo: bdd.cmi graph.cmi parser.cmi prop.cmi 
main.cmx: bdd.cmx graph.cmx parser.cmx prop.cmx 
