action_term.cmi: ../bdd/actions.cmi term.cmi 
graph_term.cmi: ../bdd/graph.cmi term.cmi 
ippkts.cmi: spec.cmi term.cmi 
parser.cmi: term.cmi 
reachable.cmi: ../bdd/graph.cmi term.cmi 
read_term.cmi: term.cmi 
savant.cmi: term.cmi 
spec.cmi: ../bdd/actions.cmi ../bdd/bdd.cmi 
term.cmo: term.cmi 
term.cmx: term.cmi 
parser.cmo: term.cmi parser.cmi 
parser.cmx: term.cmx parser.cmi 
lexer.cmo: parser.cmi 
lexer.cmx: parser.cmx 
read_term.cmo: lexer.cmo parser.cmi read_term.cmi 
read_term.cmx: lexer.cmx parser.cmx read_term.cmi 
action_term.cmo: ../bdd/actions.cmi term.cmi action_term.cmi 
action_term.cmx: ../bdd/actions.cmx term.cmx action_term.cmi 
graph_term.cmo: action_term.cmi ../bdd/actions.cmi ../bdd/graph.cmi term.cmi \
    graph_term.cmi 
graph_term.cmx: action_term.cmx ../bdd/actions.cmx ../bdd/graph.cmx term.cmx \
    graph_term.cmi 
prop_file.cmo: graph_term.cmi ../bdd/prop.cmi read_term.cmi prop_file.cmi 
prop_file.cmx: graph_term.cmx ../bdd/prop.cmx read_term.cmx prop_file.cmi 
spec.cmo: ../bdd/actions.cmi ../bdd/bdd.cmi ../bdd/bdd_utils.cmi \
    ../bdd/spine.cmi spec.cmi 
spec.cmx: ../bdd/actions.cmx ../bdd/bdd.cmx ../bdd/bdd_utils.cmx \
    ../bdd/spine.cmx spec.cmi 
ippkts.cmo: spec.cmi term.cmi ippkts.cmi 
ippkts.cmx: spec.cmx term.cmx ippkts.cmi 
reachable.cmo: action_term.cmi ../bdd/actions.cmi ../bdd/bdd.cmi \
    ../bdd/graph.cmi ippkts.cmi ../bdd/prop.cmi read_term.cmi spec.cmi \
    ../bdd/spine.cmi term.cmi reachable.cmi 
reachable.cmx: action_term.cmx ../bdd/actions.cmx ../bdd/bdd.cmx \
    ../bdd/graph.cmx ippkts.cmx ../bdd/prop.cmx read_term.cmx spec.cmx \
    ../bdd/spine.cmx term.cmx reachable.cmi 
savant.cmo: action_term.cmi ../bdd/actions.cmi ../bdd/bdd.cmi \
    ../bdd/bdd_utils.cmi ippkts.cmi spec.cmi ../bdd/spine.cmi term.cmi \
    savant.cmi 
savant.cmx: action_term.cmx ../bdd/actions.cmx ../bdd/bdd.cmx \
    ../bdd/bdd_utils.cmx ippkts.cmx spec.cmx ../bdd/spine.cmx term.cmx \
    savant.cmi 
srv.cmo: read_term.cmi savant.cmi term.cmi srv.cmi 
srv.cmx: read_term.cmx savant.cmx term.cmx srv.cmi 
nar.cmo: ../bdd/bdd.cmi reachable.cmi term.cmi 
nar.cmx: ../bdd/bdd.cmx reachable.cmx term.cmx 
