ac.cmo: ty.cmi timers.cmi term.cmi symbols.cmi sig.cmi options.cmi \
    literal.cmi hstring.cmi ac.cmi
ac.cmx: ty.cmx timers.cmx term.cmx symbols.cmx sig.cmi options.cmx \
    literal.cmx hstring.cmx ac.cmi
arith.cmo: ty.cmi timers.cmi term.cmi symbols.cmi sig.cmi preoptions.cmi \
    polynome.cmi options.cmi literal.cmi hstring.cmi fm.cmi exception.cmi \
    ac.cmi arith.cmi
arith.cmx: ty.cmx timers.cmx term.cmx symbols.cmx sig.cmi preoptions.cmx \
    polynome.cmx options.cmx literal.cmx hstring.cmx fm.cmx exception.cmx \
    ac.cmx arith.cmi
arrays.cmo: ty.cmi timers.cmi term.cmi symbols.cmi sig.cmi options.cmi \
    literal.cmi explanation.cmi arrays.cmi
arrays.cmx: ty.cmx timers.cmx term.cmx symbols.cmx sig.cmi options.cmx \
    literal.cmx explanation.cmx arrays.cmi
bitv.cmo: ty.cmi term.cmi symbols.cmi sig.cmi options.cmi hashcons.cmi \
    exception.cmi bitv.cmi
bitv.cmx: ty.cmx term.cmx symbols.cmx sig.cmi options.cmx hashcons.cmx \
    exception.cmx bitv.cmi
boxed.cmo: ty.cmi term.cmi symbols.cmi options.cmi formula.cmi boxed.cmi
boxed.cmx: ty.cmx term.cmx symbols.cmx options.cmx formula.cmx boxed.cmi
cc.cmo: use.cmi uf.cmi ty.cmi timers.cmi term.cmi symbols.cmi sig.cmi \
    options.cmi literal.cmi formula.cmi explanation.cmi exception.cmi \
    custom_theory.cmi cc.cmi
cc.cmx: use.cmx uf.cmx ty.cmx timers.cmx term.cmx symbols.cmx sig.cmi \
    options.cmx literal.cmx formula.cmx explanation.cmx exception.cmx \
    custom_theory.cmx cc.cmi
cnf.cmo: why_ptree.cmi ty.cmi term.cmi symbols.cmi options.cmi literal.cmi \
    hstring.cmi formula.cmi common.cmi cnf.cmi
cnf.cmx: why_ptree.cmi ty.cmx term.cmx symbols.cmx options.cmx literal.cmx \
    hstring.cmx formula.cmx common.cmx cnf.cmi
combine.cmo: ty.cmi term.cmi sum.cmi sig.cmi records.cmi preoptions.cmi \
    polynome.cmi options.cmi literal.cmi bitv.cmi arrays.cmi arith.cmi ac.cmi \
    combine.cmi
combine.cmx: ty.cmx term.cmx sum.cmx sig.cmi records.cmx preoptions.cmx \
    polynome.cmx options.cmx literal.cmx bitv.cmx arrays.cmx arith.cmx ac.cmx \
    combine.cmi
common.cmo: why_ptree.cmi ty.cmi symbols.cmi hstring.cmi common.cmi
common.cmx: why_ptree.cmi ty.cmx symbols.cmx hstring.cmx common.cmi
custom_theory.cmo: use.cmi uf.cmi ty.cmi term.cmi symbols.cmi sig.cmi \
    options.cmi literal.cmi instantiation.cmi formula.cmi explanation.cmi \
    exception.cmi boxed.cmi custom_theory.cmi
custom_theory.cmx: use.cmx uf.cmx ty.cmx term.cmx symbols.cmx sig.cmi \
    options.cmx literal.cmx instantiation.cmx formula.cmx explanation.cmx \
    exception.cmx boxed.cmx custom_theory.cmi
exception.cmo: term.cmi explanation.cmi exception.cmi
exception.cmx: term.cmx explanation.cmx exception.cmi
existantial.cmo: why_ptree.cmi symbols.cmi options.cmi existantial.cmi
existantial.cmx: why_ptree.cmi symbols.cmx options.cmx existantial.cmi
explanation.cmo: formula.cmi explanation.cmi
explanation.cmx: formula.cmx explanation.cmi
fm.cmo: ty.cmi timers.cmi term.cmi symbols.cmi sig.cmi polynome.cmi \
    options.cmi literal.cmi intervals.cmi hstring.cmi explanation.cmi \
    exception.cmi fm.cmi
fm.cmx: ty.cmx timers.cmx term.cmx symbols.cmx sig.cmi polynome.cmx \
    options.cmx literal.cmx intervals.cmx hstring.cmx explanation.cmx \
    exception.cmx fm.cmi
formula.cmo: ty.cmi term.cmi symbols.cmi options.cmi literal.cmi hstring.cmi \
    hashcons.cmi common.cmi formula.cmi
formula.cmx: ty.cmx term.cmx symbols.cmx options.cmx literal.cmx hstring.cmx \
    hashcons.cmx common.cmx formula.cmi
frontend.cmo: why_typing.cmi why_ptree.cmi why_parser.cmi why_lexer.cmo \
    smtlib2_to_why.cmo smtlib2_parse.cmi smtlib2_lex.cmo smt_to_why.cmo \
    smt_parser.cmi smt_lex.cmo smt_ast.cmi sat.cmi pruning.cmi options.cmi \
    loc.cmo formula.cmi explanation.cmi custom_theory.cmi common.cmi cnf.cmi \
    frontend.cmi
frontend.cmx: why_typing.cmx why_ptree.cmi why_parser.cmx why_lexer.cmx \
    smtlib2_to_why.cmx smtlib2_parse.cmx smtlib2_lex.cmx smt_to_why.cmx \
    smt_parser.cmx smt_lex.cmx smt_ast.cmi sat.cmx pruning.cmx options.cmx \
    loc.cmx formula.cmx explanation.cmx custom_theory.cmx common.cmx cnf.cmx \
    frontend.cmi
gui.cmo: why_ptree.cmi why_lexer.cmo why_connected.cmi why_annoted.cmi \
    version.cmo timers.cmi sat.cmi pruning.cmi options.cmi loc.cmo \
    gui_session.cmi gui_replay.cmi frontend.cmi formula.cmi explanation.cmi \
    common.cmi cnf.cmi
gui.cmx: why_ptree.cmi why_lexer.cmx why_connected.cmx why_annoted.cmx \
    version.cmx timers.cmx sat.cmx pruning.cmx options.cmx loc.cmx \
    gui_session.cmx gui_replay.cmx frontend.cmx formula.cmx explanation.cmx \
    common.cmx cnf.cmx
gui_replay.cmo: why_connected.cmi why_annoted.cmi gui_session.cmi \
    gui_replay.cmi
gui_replay.cmx: why_connected.cmx why_annoted.cmx gui_session.cmx \
    gui_replay.cmi
gui_session.cmo: gui_session.cmi
gui_session.cmx: gui_session.cmi
hashcons.cmo: hashcons.cmi
hashcons.cmx: hashcons.cmi
hstring.cmo: hashcons.cmi hstring.cmi
hstring.cmx: hashcons.cmx hstring.cmi
incr_match.cmo: use.cmi uf.cmi ty.cmi term.cmi symbols.cmi subst.cmi sig.cmi \
    options.cmi formula.cmi explanation.cmi incr_match.cmi
incr_match.cmx: use.cmx uf.cmx ty.cmx term.cmx symbols.cmx subst.cmx sig.cmi \
    options.cmx formula.cmx explanation.cmx incr_match.cmi
instantiation.cmo: use.cmi uf.cmi term.cmi symbols.cmi sig.cmi options.cmi \
    literal.cmi incr_match.cmi explanation.cmi exception.cmi boxed.cmi \
    instantiation.cmi
instantiation.cmx: use.cmx uf.cmx term.cmx symbols.cmx sig.cmi options.cmx \
    literal.cmx incr_match.cmx explanation.cmx exception.cmx boxed.cmx \
    instantiation.cmi
intervals.cmo: ty.cmi sig.cmi options.cmi explanation.cmi intervals.cmi
intervals.cmx: ty.cmx sig.cmi options.cmx explanation.cmx intervals.cmi
literal.cmo: term.cmi symbols.cmi hstring.cmi hashcons.cmi literal.cmi
literal.cmx: term.cmx symbols.cmx hstring.cmx hashcons.cmx literal.cmi
loc.cmo: options.cmi
loc.cmx: options.cmx
main.cmo: why_ptree.cmi options.cmi frontend.cmi
main.cmx: why_ptree.cmi options.cmx frontend.cmx
matching.cmo: ty.cmi timers.cmi term.cmi symbols.cmi subst.cmi sig.cmi \
    options.cmi literal.cmi formula.cmi explanation.cmi matching.cmi
matching.cmx: ty.cmx timers.cmx term.cmx symbols.cmx subst.cmx sig.cmi \
    options.cmx literal.cmx formula.cmx explanation.cmx matching.cmi
options.cmo: preoptions.cmi options.cmi
options.cmx: preoptions.cmx options.cmi
pairs.cmo: ty.cmi term.cmi symbols.cmi sig.cmi options.cmi hstring.cmi \
    pairs.cmi
pairs.cmx: ty.cmx term.cmx symbols.cmx sig.cmi options.cmx hstring.cmx \
    pairs.cmi
parseoptions.cmo: print_color.cmi preoptions.cmi
parseoptions.cmx: print_color.cmx preoptions.cmx
polynome.cmo: ty.cmi term.cmi options.cmi polynome.cmi
polynome.cmx: ty.cmx term.cmx options.cmx polynome.cmi
preoptions.cmo: version.cmo print_color.cmi preoptions.cmi
preoptions.cmx: version.cmx print_color.cmx preoptions.cmi
pretty.cmo: why_ptree.cmi symbols.cmi hstring.cmi pretty.cmi
pretty.cmx: why_ptree.cmi symbols.cmx hstring.cmx pretty.cmi
print_color.cmo: print_color.cmi
print_color.cmx: print_color.cmi
pruning.cmo: why_ptree.cmi symbols.cmi hstring.cmi formula.cmi pruning.cmi
pruning.cmx: why_ptree.cmi symbols.cmx hstring.cmx formula.cmx pruning.cmi
records.cmo: ty.cmi timers.cmi term.cmi symbols.cmi sig.cmi options.cmi \
    literal.cmi hstring.cmi exception.cmi records.cmi
records.cmx: ty.cmx timers.cmx term.cmx symbols.cmx sig.cmi options.cmx \
    literal.cmx hstring.cmx exception.cmx records.cmi
sat.cmo: timers.cmi term.cmi symbols.cmi sig.cmi options.cmi matching.cmi \
    literal.cmi formula.cmi explanation.cmi exception.cmi combine.cmi cc.cmi \
    sat.cmi
sat.cmx: timers.cmx term.cmx symbols.cmx sig.cmi options.cmx matching.cmx \
    literal.cmx formula.cmx explanation.cmx exception.cmx combine.cmx cc.cmx \
    sat.cmi
smt_lex.cmo: smt_parser.cmi
smt_lex.cmx: smt_parser.cmx
smt_parser.cmo: smt_ast.cmi smt_parser.cmi
smt_parser.cmx: smt_ast.cmi smt_parser.cmi
smt_to_why.cmo: why_ptree.cmi symbols.cmi smt_ast.cmi common.cmi
smt_to_why.cmx: why_ptree.cmi symbols.cmx smt_ast.cmi common.cmx
smtlib2_ast.cmo: smtlib2_util.cmo
smtlib2_ast.cmx: smtlib2_util.cmx
smtlib2_lex.cmo: smtlib2_util.cmo smtlib2_parse.cmi
smtlib2_lex.cmx: smtlib2_util.cmx smtlib2_parse.cmx
smtlib2_parse.cmo: smtlib2_ast.cmo smtlib2_parse.cmi
smtlib2_parse.cmx: smtlib2_ast.cmx smtlib2_parse.cmi
smtlib2_to_why.cmo: why_ptree.cmi symbols.cmi smtlib2_ast.cmo options.cmi \
    loc.cmo hstring.cmi common.cmi
smtlib2_to_why.cmx: why_ptree.cmi symbols.cmx smtlib2_ast.cmx options.cmx \
    loc.cmx hstring.cmx common.cmx
smtlib2_util.cmo:
smtlib2_util.cmx:
subst.cmo: symbols.cmi subst.cmi
subst.cmx: symbols.cmx subst.cmi
sum.cmo: ty.cmi timers.cmi term.cmi symbols.cmi sig.cmi options.cmi \
    literal.cmi hstring.cmi explanation.cmi exception.cmi sum.cmi
sum.cmx: ty.cmx timers.cmx term.cmx symbols.cmx sig.cmi options.cmx \
    literal.cmx hstring.cmx explanation.cmx exception.cmx sum.cmi
symbols.cmo: hstring.cmi hashcons.cmi symbols.cmi
symbols.cmx: hstring.cmx hashcons.cmx symbols.cmi
term.cmo: ty.cmi symbols.cmi subst.cmi options.cmi hstring.cmi hashcons.cmi \
    common.cmi term.cmi
term.cmx: ty.cmx symbols.cmx subst.cmx options.cmx hstring.cmx hashcons.cmx \
    common.cmx term.cmi
timers.cmo: timers.cmi
timers.cmx: timers.cmi
triggers.cmo: why_ptree.cmi ty.cmi symbols.cmi options.cmi hstring.cmi \
    common.cmi triggers.cmi
triggers.cmx: why_ptree.cmi ty.cmx symbols.cmx options.cmx hstring.cmx \
    common.cmx triggers.cmi
ty.cmo: hstring.cmi hashcons.cmi ty.cmi
ty.cmx: hstring.cmx hashcons.cmx ty.cmi
uf.cmo: term.cmi symbols.cmi sig.cmi preoptions.cmi options.cmi literal.cmi \
    hstring.cmi formula.cmi explanation.cmi exception.cmi ac.cmi uf.cmi
uf.cmx: term.cmx symbols.cmx sig.cmi preoptions.cmx options.cmx literal.cmx \
    hstring.cmx formula.cmx explanation.cmx exception.cmx ac.cmx uf.cmi
use.cmo: ty.cmi term.cmi symbols.cmi sig.cmi options.cmi literal.cmi \
    explanation.cmi use.cmi
use.cmx: ty.cmx term.cmx symbols.cmx sig.cmi options.cmx literal.cmx \
    explanation.cmx use.cmi
version.cmo:
version.cmx:
why_annoted.cmo: why_typing.cmi why_ptree.cmi ty.cmi timers.cmi symbols.cmi \
    options.cmi hstring.cmi gui_session.cmi explanation.cmi why_annoted.cmi
why_annoted.cmx: why_typing.cmx why_ptree.cmi ty.cmx timers.cmx symbols.cmx \
    options.cmx hstring.cmx gui_session.cmx explanation.cmx why_annoted.cmi
why_connected.cmo: why_typing.cmi why_parser.cmi why_lexer.cmo \
    why_annoted.cmi ty.cmi symbols.cmi options.cmi gui_session.cmi common.cmi \
    why_connected.cmi
why_connected.cmx: why_typing.cmx why_parser.cmx why_lexer.cmx \
    why_annoted.cmx ty.cmx symbols.cmx options.cmx gui_session.cmx common.cmx \
    why_connected.cmi
why_lexer.cmo: why_parser.cmi options.cmi
why_lexer.cmx: why_parser.cmx options.cmx
why_parser.cmo: why_ptree.cmi symbols.cmi preoptions.cmi options.cmi \
    why_parser.cmi
why_parser.cmx: why_ptree.cmi symbols.cmx preoptions.cmx options.cmx \
    why_parser.cmi
why_typing.cmo: why_ptree.cmi ty.cmi triggers.cmi symbols.cmi options.cmi \
    loc.cmo hstring.cmi existantial.cmi common.cmi why_typing.cmi
why_typing.cmx: why_ptree.cmi ty.cmx triggers.cmx symbols.cmx options.cmx \
    loc.cmx hstring.cmx existantial.cmx common.cmx why_typing.cmi
ac.cmi: ty.cmi term.cmi symbols.cmi sig.cmi literal.cmi
arith.cmi: sig.cmi polynome.cmi
arrays.cmi: sig.cmi
bitv.cmi: sig.cmi
boxed.cmi: term.cmi formula.cmi
cc.cmi: term.cmi sig.cmi literal.cmi explanation.cmi
cnf.cmi: why_ptree.cmi
combine.cmi: sig.cmi
common.cmi: why_ptree.cmi ty.cmi symbols.cmi hstring.cmi
custom_theory.cmi: use.cmi uf.cmi sig.cmi formula.cmi explanation.cmi
exception.cmi: term.cmi explanation.cmi
existantial.cmi: why_ptree.cmi
explanation.cmi: formula.cmi
fm.cmi: sig.cmi polynome.cmi
formula.cmi: term.cmi symbols.cmi literal.cmi hstring.cmi
frontend.cmi: why_typing.cmi why_ptree.cmi smt_ast.cmi sat.cmi \
    explanation.cmi
gui_replay.cmi: why_annoted.cmi gui_session.cmi
gui_session.cmi:
hashcons.cmi:
hstring.cmi: hashcons.cmi
incr_match.cmi: use.cmi uf.cmi term.cmi explanation.cmi
instantiation.cmi: use.cmi uf.cmi term.cmi symbols.cmi sig.cmi \
    explanation.cmi boxed.cmi
intervals.cmi: ty.cmi sig.cmi explanation.cmi
literal.cmi: term.cmi symbols.cmi hstring.cmi
matching.cmi: term.cmi sig.cmi literal.cmi formula.cmi explanation.cmi
options.cmi: timers.cmi
pairs.cmi: sig.cmi
polynome.cmi: ty.cmi term.cmi
preoptions.cmi:
pretty.cmi: why_ptree.cmi
print_color.cmi:
pruning.cmi: why_ptree.cmi
records.cmi: sig.cmi
sat.cmi: term.cmi formula.cmi explanation.cmi
sig.cmi: ty.cmi term.cmi symbols.cmi literal.cmi formula.cmi explanation.cmi \
    boxed.cmi
smt_ast.cmi:
smt_parser.cmi: smt_ast.cmi
smtlib2_parse.cmi: smtlib2_ast.cmo
subst.cmi: symbols.cmi
sum.cmi: sig.cmi
symbols.cmi: hstring.cmi
term.cmi: ty.cmi symbols.cmi subst.cmi hstring.cmi
timers.cmi:
triggers.cmi: why_ptree.cmi
ty.cmi: hstring.cmi
uf.cmi: term.cmi sig.cmi literal.cmi explanation.cmi
use.cmi: term.cmi symbols.cmi sig.cmi literal.cmi explanation.cmi
why_annoted.cmi: why_typing.cmi why_ptree.cmi ty.cmi timers.cmi symbols.cmi \
    hstring.cmi gui_session.cmi explanation.cmi
why_connected.cmi: why_ptree.cmi why_annoted.cmi explanation.cmi
why_parser.cmi: why_ptree.cmi
why_ptree.cmi: ty.cmi term.cmi symbols.cmi literal.cmi hstring.cmi \
    formula.cmi
why_typing.cmi: why_ptree.cmi ty.cmi symbols.cmi
