src/annot.cmo : src/util.cmi src/types.cmi src/options.cmi src/misc.cmi \
    src/logic.cmi src/ident.cmi src/env.cmi src/effect.cmi src/ast.cmi \
    src/annot.cmi
src/annot.cmx : src/util.cmx src/types.cmi src/options.cmx src/misc.cmx \
    src/logic.cmi src/ident.cmx src/env.cmx src/effect.cmx src/ast.cmi \
    src/annot.cmi
src/coq.cmo : src/vcg.cmi src/util.cmi src/types.cmi src/report.cmi \
    src/regen.cmi src/print_real.cmo src/pp.cmi src/options.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/cc.cmi src/coq.cmi
src/coq.cmx : src/vcg.cmx src/util.cmx src/types.cmi src/report.cmx \
    src/regen.cmx src/print_real.cmx src/pp.cmx src/options.cmx src/misc.cmx \
    src/logic_decl.cmi src/logic.cmi src/loc.cmx src/ident.cmx src/error.cmi \
    src/env.cmx src/cc.cmi src/coq.cmi
src/cvcl.cmo : src/vcg.cmi src/util.cmi src/report.cmi src/print_real.cmo \
    src/pp.cmi src/options.cmi src/misc.cmi src/ltyping.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/encoding_mono_inst.cmi src/encoding.cmi src/cc.cmi \
    src/cvcl.cmi
src/cvcl.cmx : src/vcg.cmx src/util.cmx src/report.cmx src/print_real.cmx \
    src/pp.cmx src/options.cmx src/misc.cmx src/ltyping.cmx \
    src/logic_decl.cmi src/logic.cmi src/loc.cmx src/ident.cmx src/error.cmi \
    src/env.cmx src/encoding_mono_inst.cmx src/encoding.cmx src/cc.cmi \
    src/cvcl.cmi
src/dispatcher.cmo : src/zenon.cmi src/vcg.cmi src/theory_filtering.cmo \
    src/smtlib.cmi src/simplify.cmi src/pvs.cmi src/pretty.cmi \
    src/options.cmi src/logic_decl.cmi src/logic.cmi src/lib.cmi \
    src/harvey.cmi src/gappa.cmi src/env.cmi tools/dpConfig.cmi src/cvcl.cmi \
    src/coq.cmi src/cc.cmi tools/calldp.cmi src/dispatcher.cmi
src/dispatcher.cmx : src/zenon.cmx src/vcg.cmx src/theory_filtering.cmx \
    src/smtlib.cmx src/simplify.cmx src/pvs.cmx src/pretty.cmx \
    src/options.cmx src/logic_decl.cmi src/logic.cmi src/lib.cmx \
    src/harvey.cmx src/gappa.cmx src/env.cmx tools/dpConfig.cmx src/cvcl.cmx \
    src/coq.cmx src/cc.cmi tools/calldp.cmx src/dispatcher.cmi
src/effect.cmo : src/ident.cmi src/effect.cmi
src/effect.cmx : src/ident.cmx src/effect.cmi
src/encoding.cmo : src/predDefExpansor.cmi src/options.cmi src/monomorph.cmi \
    src/logic_decl.cmi src/ident.cmi src/encoding_strat.cmi \
    src/encoding_rec.cmi src/encoding_pred.cmi src/encoding_mono_inst.cmi \
    src/encoding_mono.cmo src/encoding.cmi
src/encoding.cmx : src/predDefExpansor.cmx src/options.cmx src/monomorph.cmx \
    src/logic_decl.cmi src/ident.cmx src/encoding_strat.cmx \
    src/encoding_rec.cmx src/encoding_pred.cmx src/encoding_mono_inst.cmx \
    src/encoding_mono.cmx src/encoding.cmi
src/encoding_mono.cmo : src/util.cmi src/predDefExpansor.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi src/env.cmi \
    src/cc.cmi
src/encoding_mono.cmx : src/util.cmx src/predDefExpansor.cmx src/misc.cmx \
    src/logic_decl.cmi src/logic.cmi src/loc.cmx src/ident.cmx src/env.cmx \
    src/cc.cmi
src/encoding_mono2.cmo : src/util.cmi src/misc.cmi src/logic_decl.cmi \
    src/logic.cmi src/loc.cmi src/ident.cmi src/env.cmi src/cc.cmi
src/encoding_mono2.cmx : src/util.cmx src/misc.cmx src/logic_decl.cmi \
    src/logic.cmi src/loc.cmx src/ident.cmx src/env.cmx src/cc.cmi
src/encoding_mono_inst.cmo : src/util.cmi src/predDefExpansor.cmi src/pp.cmi \
    src/options.cmi src/mapenv.cmo src/logic_decl.cmi src/logic.cmi \
    src/loc.cmi src/ident.cmi src/env.cmi src/cc.cmi \
    src/encoding_mono_inst.cmi
src/encoding_mono_inst.cmx : src/util.cmx src/predDefExpansor.cmx src/pp.cmx \
    src/options.cmx src/mapenv.cmx src/logic_decl.cmi src/logic.cmi \
    src/loc.cmx src/ident.cmx src/env.cmx src/cc.cmi \
    src/encoding_mono_inst.cmi
src/encoding_pred.cmo : src/logic_decl.cmi src/logic.cmi src/loc.cmi \
    src/ident.cmi src/env.cmi src/cc.cmi src/encoding_pred.cmi
src/encoding_pred.cmx : src/logic_decl.cmi src/logic.cmi src/loc.cmx \
    src/ident.cmx src/env.cmx src/cc.cmi src/encoding_pred.cmi
src/encoding_rec.cmo : src/options.cmi src/logic_decl.cmi src/logic.cmi \
    src/loc.cmi src/ident.cmi src/env.cmi src/cc.cmi src/encoding_rec.cmi
src/encoding_rec.cmx : src/options.cmx src/logic_decl.cmi src/logic.cmi \
    src/loc.cmx src/ident.cmx src/env.cmx src/cc.cmi src/encoding_rec.cmi
src/encoding_strat.cmo : src/util.cmi src/logic_decl.cmi src/logic.cmi \
    src/loc.cmi src/ident.cmi src/env.cmi src/cc.cmi src/encoding_strat.cmi
src/encoding_strat.cmx : src/util.cmx src/logic_decl.cmi src/logic.cmi \
    src/loc.cmx src/ident.cmx src/env.cmx src/cc.cmi src/encoding_strat.cmi
src/env.cmo : src/types.cmi src/report.cmi src/misc.cmi src/logic.cmi \
    src/loc.cmi src/ident.cmi src/error.cmi src/effect.cmi src/cc.cmi \
    src/ast.cmi src/env.cmi
src/env.cmx : src/types.cmi src/report.cmx src/misc.cmx src/logic.cmi \
    src/loc.cmx src/ident.cmx src/error.cmi src/effect.cmx src/cc.cmi \
    src/ast.cmi src/env.cmi
src/explain.cmo : src/logic_decl.cmi src/logic.cmi src/explain.cmi
src/explain.cmx : src/logic_decl.cmi src/logic.cmi src/explain.cmi
src/fastwp.cmo : src/wp.cmi src/util.cmi src/types.cmi src/misc.cmi \
    src/logic.cmi src/ident.cmi src/env.cmi src/effect.cmi src/cc.cmi \
    src/ast.cmi src/fastwp.cmi
src/fastwp.cmx : src/wp.cmx src/util.cmx src/types.cmi src/misc.cmx \
    src/logic.cmi src/ident.cmx src/env.cmx src/effect.cmx src/cc.cmi \
    src/ast.cmi src/fastwp.cmi
src/fpi.cmo : src/pp.cmi src/misc.cmi src/logic.cmi src/loc.cmi \
    src/ident.cmi src/cc.cmi src/fpi.cmi
src/fpi.cmx : src/pp.cmx src/misc.cmx src/logic.cmi src/loc.cmx \
    src/ident.cmx src/cc.cmi src/fpi.cmi
src/gappa.cmo : src/predDefExpansor.cmi src/pp.cmi src/options.cmi \
    src/misc.cmi src/logic_decl.cmi src/logic.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/cc.cmi src/gappa.cmi
src/gappa.cmx : src/predDefExpansor.cmx src/pp.cmx src/options.cmx \
    src/misc.cmx src/logic_decl.cmi src/logic.cmi src/ident.cmx src/error.cmi \
    src/env.cmx src/cc.cmi src/gappa.cmi
src/graphviz.cmo : src/graphviz.cmi
src/graphviz.cmx : src/graphviz.cmi
src/harvey.cmo : src/util.cmi src/print_real.cmo src/pp.cmi src/options.cmi \
    src/misc.cmi src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi \
    src/error.cmi src/env.cmi src/encoding.cmi src/cc.cmi src/harvey.cmi
src/harvey.cmx : src/util.cmx src/print_real.cmx src/pp.cmx src/options.cmx \
    src/misc.cmx src/logic_decl.cmi src/logic.cmi src/loc.cmx src/ident.cmx \
    src/error.cmi src/env.cmx src/encoding.cmx src/cc.cmi src/harvey.cmi
src/hol4.cmo : src/vcg.cmi src/util.cmi src/print_real.cmo src/pp.cmi \
    src/misc.cmi src/logic_decl.cmi src/logic.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/cc.cmi src/hol4.cmi
src/hol4.cmx : src/vcg.cmx src/util.cmx src/print_real.cmx src/pp.cmx \
    src/misc.cmx src/logic_decl.cmi src/logic.cmi src/ident.cmx src/error.cmi \
    src/env.cmx src/cc.cmi src/hol4.cmi
src/holl.cmo : src/vcg.cmi src/util.cmi src/print_real.cmo src/pp.cmi \
    src/misc.cmi src/logic_decl.cmi src/logic.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/cc.cmi src/holl.cmi
src/holl.cmx : src/vcg.cmx src/util.cmx src/print_real.cmx src/pp.cmx \
    src/misc.cmx src/logic_decl.cmi src/logic.cmi src/ident.cmx src/error.cmi \
    src/env.cmx src/cc.cmi src/holl.cmi
src/hypotheses_filtering.cmo : src/util.cmi src/pp.cmi src/options.cmi \
    src/misc.cmi src/logic_decl.cmi src/logic.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/cc.cmi
src/hypotheses_filtering.cmx : src/util.cmx src/pp.cmx src/options.cmx \
    src/misc.cmx src/logic_decl.cmi src/logic.cmi src/ident.cmx src/error.cmi \
    src/env.cmx src/cc.cmi
src/ident.cmo : src/ident.cmi
src/ident.cmx : src/ident.cmi
src/isabelle.cmo : src/vcg.cmi src/util.cmi src/regen.cmi src/print_real.cmo \
    src/pp.cmi src/options.cmi src/misc.cmi src/logic_decl.cmi src/logic.cmi \
    src/loc.cmi src/ident.cmi src/error.cmi src/env.cmi src/cc.cmi \
    src/isabelle.cmi
src/isabelle.cmx : src/vcg.cmx src/util.cmx src/regen.cmx src/print_real.cmx \
    src/pp.cmx src/options.cmx src/misc.cmx src/logic_decl.cmi src/logic.cmi \
    src/loc.cmx src/ident.cmx src/error.cmi src/env.cmx src/cc.cmi \
    src/isabelle.cmi
src/lexer.cmo : src/parser.cmi src/logic.cmi src/loc.cmi src/lexer.cmi
src/lexer.cmx : src/parser.cmx src/logic.cmi src/loc.cmx src/lexer.cmi
src/lib.cmo : src/lib.cmi
src/lib.cmx : src/lib.cmi
src/linenum.cmo : src/linenum.cmi
src/linenum.cmx : src/linenum.cmi
src/loc.cmo : src/loc.cmi
src/loc.cmx : src/loc.cmi
src/ltyping.cmo : src/util.cmi src/types.cmi src/report.cmi src/ptree.cmi \
    src/options.cmi src/misc.cmi src/logic.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/effect.cmi src/ast.cmi src/ltyping.cmi
src/ltyping.cmx : src/util.cmx src/types.cmi src/report.cmx src/ptree.cmi \
    src/options.cmx src/misc.cmx src/logic.cmi src/ident.cmx src/error.cmi \
    src/env.cmx src/effect.cmx src/ast.cmi src/ltyping.cmi
src/main.cmo : src/zenon.cmi src/z3.cmi src/wp.cmi src/why3.cmi src/vcg.cmi \
    src/util.cmi src/typing.cmi src/types.cmi src/smtlib.cmi src/simplify.cmi \
    src/report.cmi src/red.cmi src/rc.cmi src/pvs.cmi src/ptree.cmi \
    src/pretty.cmi src/predDefExpansor.cmi src/pp.cmi src/options.cmi \
    src/ocaml.cmi src/monomorph.cmi src/monad.cmi src/mlize.cmi src/mizar.cmi \
    src/misc.cmi src/ltyping.cmi src/logic_decl.cmi src/logic.cmi src/loc.cmi \
    src/lexer.cmi src/isabelle.cmi src/ident.cmi src/hypotheses_filtering.cmo \
    src/holl.cmi src/hol4.cmi src/harvey.cmi src/gappa.cmi src/fastwp.cmi \
    src/error.cmi src/env.cmi src/effect.cmi src/dispatcher.cmi src/cvcl.cmi \
    src/coq.cmi src/cc.cmi src/ast.cmi
src/main.cmx : src/zenon.cmx src/z3.cmx src/wp.cmx src/why3.cmx src/vcg.cmx \
    src/util.cmx src/typing.cmx src/types.cmi src/smtlib.cmx src/simplify.cmx \
    src/report.cmx src/red.cmx src/rc.cmx src/pvs.cmx src/ptree.cmi \
    src/pretty.cmx src/predDefExpansor.cmx src/pp.cmx src/options.cmx \
    src/ocaml.cmx src/monomorph.cmx src/monad.cmx src/mlize.cmx src/mizar.cmx \
    src/misc.cmx src/ltyping.cmx src/logic_decl.cmi src/logic.cmi src/loc.cmx \
    src/lexer.cmx src/isabelle.cmx src/ident.cmx src/hypotheses_filtering.cmx \
    src/holl.cmx src/hol4.cmx src/harvey.cmx src/gappa.cmx src/fastwp.cmx \
    src/error.cmi src/env.cmx src/effect.cmx src/dispatcher.cmx src/cvcl.cmx \
    src/coq.cmx src/cc.cmi src/ast.cmi
src/mapenv.cmo : src/misc.cmi src/logic.cmi src/ident.cmi
src/mapenv.cmx : src/misc.cmx src/logic.cmi src/ident.cmx
src/misc.cmo : src/types.cmi src/ptree.cmi src/options.cmi \
    src/option_misc.cmi src/logic.cmi src/loc.cmi src/ident.cmi \
    src/effect.cmi src/cc.cmi src/ast.cmi src/misc.cmi
src/misc.cmx : src/types.cmi src/ptree.cmi src/options.cmx \
    src/option_misc.cmx src/logic.cmi src/loc.cmx src/ident.cmx \
    src/effect.cmx src/cc.cmi src/ast.cmi src/misc.cmi
src/mizar.cmo : src/vcg.cmi src/util.cmi src/regen.cmi src/pp.cmi \
    src/options.cmi src/misc.cmi src/logic_decl.cmi src/logic.cmi src/loc.cmi \
    src/ident.cmi src/error.cmi src/env.cmi src/cc.cmi src/mizar.cmi
src/mizar.cmx : src/vcg.cmx src/util.cmx src/regen.cmx src/pp.cmx \
    src/options.cmx src/misc.cmx src/logic_decl.cmi src/logic.cmi src/loc.cmx \
    src/ident.cmx src/error.cmi src/env.cmx src/cc.cmi src/mizar.cmi
src/mlize.cmo : src/util.cmi src/typing.cmi src/types.cmi src/rename.cmi \
    src/monadSig.cmi src/monad.cmi src/misc.cmi src/logic.cmi src/ident.cmi \
    src/env.cmi src/cc.cmi src/ast.cmi src/mlize.cmi
src/mlize.cmx : src/util.cmx src/typing.cmx src/types.cmi src/rename.cmx \
    src/monadSig.cmi src/monad.cmx src/misc.cmx src/logic.cmi src/ident.cmx \
    src/env.cmx src/cc.cmi src/ast.cmi src/mlize.cmi
src/monad.cmo : src/util.cmi src/typing.cmi src/types.cmi src/rename.cmi \
    src/misc.cmi src/logic.cmi src/loc.cmi src/ident.cmi src/env.cmi \
    src/effect.cmi src/cc.cmi src/ast.cmi src/monad.cmi
src/monad.cmx : src/util.cmx src/typing.cmx src/types.cmi src/rename.cmx \
    src/misc.cmx src/logic.cmi src/loc.cmx src/ident.cmx src/env.cmx \
    src/effect.cmx src/cc.cmi src/ast.cmi src/monad.cmi
src/monomorph.cmo : src/vcg.cmi src/pp.cmi src/options.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/ident.cmi src/env.cmi src/cc.cmi \
    src/monomorph.cmi
src/monomorph.cmx : src/vcg.cmx src/pp.cmx src/options.cmx src/misc.cmx \
    src/logic_decl.cmi src/logic.cmi src/ident.cmx src/env.cmx src/cc.cmi \
    src/monomorph.cmi
src/ocaml.cmo : src/util.cmi src/types.cmi src/pp.cmi src/options.cmi \
    src/misc.cmi src/logic.cmi src/ident.cmi src/env.cmi src/ast.cmi \
    src/ocaml.cmi
src/ocaml.cmx : src/util.cmx src/types.cmi src/pp.cmx src/options.cmx \
    src/misc.cmx src/logic.cmi src/ident.cmx src/env.cmx src/ast.cmi \
    src/ocaml.cmi
src/option_misc.cmo : src/option_misc.cmi
src/option_misc.cmx : src/option_misc.cmi
src/options.cmo : src/version.cmo src/rc.cmi src/lib.cmi src/options.cmi
src/options.cmx : src/version.cmx src/rc.cmx src/lib.cmx src/options.cmi
src/parser.cmo : src/types.cmi src/ptree.cmi src/logic.cmi src/loc.cmi \
    src/ident.cmi src/error.cmi src/parser.cmi
src/parser.cmx : src/types.cmi src/ptree.cmi src/logic.cmi src/loc.cmx \
    src/ident.cmx src/error.cmi src/parser.cmi
src/pp.cmo : src/pp.cmi
src/pp.cmx : src/pp.cmi
src/predDefExpansor.cmo : src/util.cmi src/types.cmi src/options.cmi \
    src/misc.cmi src/ltyping.cmi src/logic_decl.cmi src/logic.cmi \
    src/ident.cmi src/env.cmi src/cc.cmi src/predDefExpansor.cmi
src/predDefExpansor.cmx : src/util.cmx src/types.cmi src/options.cmx \
    src/misc.cmx src/ltyping.cmx src/logic_decl.cmi src/logic.cmi \
    src/ident.cmx src/env.cmx src/cc.cmi src/predDefExpansor.cmi
src/pretty.cmo : src/util.cmi src/project.cmi src/print_real.cmo src/pp.cmi \
    src/options.cmi src/misc.cmi src/logic_decl.cmi src/logic.cmi src/loc.cmi \
    src/ident.cmi src/explain.cmi src/env.cmi src/encoding.cmi src/cc.cmi \
    src/pretty.cmi
src/pretty.cmx : src/util.cmx src/project.cmx src/print_real.cmx src/pp.cmx \
    src/options.cmx src/misc.cmx src/logic_decl.cmi src/logic.cmi src/loc.cmx \
    src/ident.cmx src/explain.cmx src/env.cmx src/encoding.cmx src/cc.cmi \
    src/pretty.cmi
src/print_real.cmo : src/logic.cmi
src/print_real.cmx : src/logic.cmi
src/project.cmo : src/xml.cmi src/rc.cmi src/logic_decl.cmi src/logic.cmi \
    src/loc.cmi src/explain.cmi src/project.cmi
src/project.cmx : src/xml.cmx src/rc.cmx src/logic_decl.cmi src/logic.cmi \
    src/loc.cmx src/explain.cmx src/project.cmi
src/pvs.cmo : src/vcg.cmi src/util.cmi src/types.cmi src/print_real.cmo \
    src/predDefExpansor.cmi src/pp.cmi src/options.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi src/env.cmi \
    src/cc.cmi src/pvs.cmi
src/pvs.cmx : src/vcg.cmx src/util.cmx src/types.cmi src/print_real.cmx \
    src/predDefExpansor.cmx src/pp.cmx src/options.cmx src/misc.cmx \
    src/logic_decl.cmi src/logic.cmi src/loc.cmx src/ident.cmx src/env.cmx \
    src/cc.cmi src/pvs.cmi
src/rc.cmo : src/rc.cmi
src/rc.cmx : src/rc.cmi
src/red.cmo : src/util.cmi src/misc.cmi src/logic.cmi src/ident.cmi \
    src/cc.cmi src/ast.cmi src/red.cmi
src/red.cmx : src/util.cmx src/misc.cmx src/logic.cmi src/ident.cmx \
    src/cc.cmi src/ast.cmi src/red.cmi
src/regen.cmo : src/vcg.cmi src/pp.cmi src/options.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/env.cmi src/cc.cmi \
    src/regen.cmi
src/regen.cmx : src/vcg.cmx src/pp.cmx src/options.cmx src/misc.cmx \
    src/logic_decl.cmi src/logic.cmi src/loc.cmx src/env.cmx src/cc.cmi \
    src/regen.cmi
src/rename.cmo : src/report.cmi src/pp.cmi src/misc.cmi src/ident.cmi \
    src/error.cmi src/rename.cmi
src/rename.cmx : src/report.cmx src/pp.cmx src/misc.cmx src/ident.cmx \
    src/error.cmi src/rename.cmi
src/report.cmo : src/types.cmi src/misc.cmi src/logic.cmi src/loc.cmi \
    src/lexer.cmi src/ident.cmi src/error.cmi src/effect.cmi src/ast.cmi \
    src/report.cmi
src/report.cmx : src/types.cmi src/misc.cmx src/logic.cmi src/loc.cmx \
    src/lexer.cmx src/ident.cmx src/error.cmi src/effect.cmx src/ast.cmi \
    src/report.cmi
src/simplify.cmo : src/util.cmi src/report.cmi src/predDefExpansor.cmi \
    src/pp.cmi src/options.cmi src/misc.cmi src/logic_decl.cmi src/logic.cmi \
    src/loc.cmi src/ident.cmi src/error.cmi src/env.cmi src/encoding.cmi \
    src/cc.cmi src/simplify.cmi
src/simplify.cmx : src/util.cmx src/report.cmx src/predDefExpansor.cmx \
    src/pp.cmx src/options.cmx src/misc.cmx src/logic_decl.cmi src/logic.cmi \
    src/loc.cmx src/ident.cmx src/error.cmi src/env.cmx src/encoding.cmx \
    src/cc.cmi src/simplify.cmi
src/smtlib.cmo : src/print_real.cmo src/pp.cmi src/options.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/encoding.cmi src/cc.cmi src/smtlib.cmi
src/smtlib.cmx : src/print_real.cmx src/pp.cmx src/options.cmx src/misc.cmx \
    src/logic_decl.cmi src/logic.cmi src/loc.cmx src/ident.cmx src/error.cmi \
    src/env.cmx src/encoding.cmx src/cc.cmi src/smtlib.cmi
src/theory_filtering.cmo : src/unionfind.cmo src/pp.cmi src/options.cmi \
    src/misc.cmi src/logic_decl.cmi src/logic.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/cc.cmi
src/theory_filtering.cmx : src/unionfind.cmx src/pp.cmx src/options.cmx \
    src/misc.cmx src/logic_decl.cmi src/logic.cmi src/ident.cmx src/error.cmi \
    src/env.cmx src/cc.cmi
src/theoryreducer.cmo : src/unionfind.cmo src/pp.cmi src/options.cmi \
    src/misc.cmi src/logic_decl.cmi src/logic.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/cc.cmi
src/theoryreducer.cmx : src/unionfind.cmx src/pp.cmx src/options.cmx \
    src/misc.cmx src/logic_decl.cmi src/logic.cmi src/ident.cmx src/error.cmi \
    src/env.cmx src/cc.cmi
src/typing.cmo : src/util.cmi src/types.cmi src/report.cmi src/rename.cmi \
    src/ptree.cmi src/options.cmi src/misc.cmi src/ltyping.cmi src/logic.cmi \
    src/loc.cmi src/ident.cmi src/error.cmi src/env.cmi src/effect.cmi \
    src/ast.cmi src/typing.cmi
src/typing.cmx : src/util.cmx src/types.cmi src/report.cmx src/rename.cmx \
    src/ptree.cmi src/options.cmx src/misc.cmx src/ltyping.cmx src/logic.cmi \
    src/loc.cmx src/ident.cmx src/error.cmi src/env.cmx src/effect.cmx \
    src/ast.cmi src/typing.cmi
src/unionfind.cmo :
src/unionfind.cmx :
src/util.cmo : src/types.cmi src/rename.cmi src/rc.cmi src/ptree.cmi \
    src/print_real.cmo src/pp.cmi src/options.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi \
    src/explain.cmi src/env.cmi src/effect.cmi src/cc.cmi src/ast.cmi \
    src/util.cmi
src/util.cmx : src/types.cmi src/rename.cmx src/rc.cmx src/ptree.cmi \
    src/print_real.cmx src/pp.cmx src/options.cmx src/misc.cmx \
    src/logic_decl.cmi src/logic.cmi src/loc.cmx src/ident.cmx \
    src/explain.cmx src/env.cmx src/effect.cmx src/cc.cmi src/ast.cmi \
    src/util.cmi
src/vcg.cmo : src/util.cmi src/types.cmi src/pp.cmi src/options.cmi \
    src/misc.cmi src/logic_decl.cmi src/logic.cmi src/log.cmi src/ident.cmi \
    src/cc.cmi src/ast.cmi src/vcg.cmi
src/vcg.cmx : src/util.cmx src/types.cmi src/pp.cmx src/options.cmx \
    src/misc.cmx src/logic_decl.cmi src/logic.cmi src/log.cmi src/ident.cmx \
    src/cc.cmi src/ast.cmi src/vcg.cmi
src/version.cmo :
src/version.cmx :
src/why.cmo : src/report.cmi src/main.cmo
src/why.cmx : src/report.cmx src/main.cmx
src/why3.cmo : src/why3_kw.cmi src/util.cmi src/print_real.cmo src/pp.cmi \
    src/options.cmi src/misc.cmi src/logic_decl.cmi src/logic.cmi \
    src/ident.cmi src/explain.cmi src/env.cmi src/encoding.cmi src/cc.cmi \
    src/why3.cmi
src/why3.cmx : src/why3_kw.cmx src/util.cmx src/print_real.cmx src/pp.cmx \
    src/options.cmx src/misc.cmx src/logic_decl.cmi src/logic.cmi \
    src/ident.cmx src/explain.cmx src/env.cmx src/encoding.cmx src/cc.cmi \
    src/why3.cmi
src/why3_kw.cmo : src/why3_kw.cmi
src/why3_kw.cmx : src/why3_kw.cmi
src/whyweb.cmo : src/wserver.cmi src/version.cmo src/project.cmi src/pp.cmi \
    src/logic_decl.cmi src/explain.cmi
src/whyweb.cmx : src/wserver.cmx src/version.cmx src/project.cmx src/pp.cmx \
    src/logic_decl.cmi src/explain.cmx
src/wp.cmo : src/util.cmi src/typing.cmi src/types.cmi src/report.cmi \
    src/options.cmi src/option_misc.cmi src/misc.cmi src/logic.cmi \
    src/loc.cmi src/ident.cmi src/error.cmi src/env.cmi src/effect.cmi \
    src/cc.cmi src/ast.cmi src/wp.cmi
src/wp.cmx : src/util.cmx src/typing.cmx src/types.cmi src/report.cmx \
    src/options.cmx src/option_misc.cmx src/misc.cmx src/logic.cmi \
    src/loc.cmx src/ident.cmx src/error.cmi src/env.cmx src/effect.cmx \
    src/cc.cmi src/ast.cmi src/wp.cmi
src/wserver.cmo : src/wserver.cmi
src/wserver.cmx : src/wserver.cmi
src/xml.cmo : src/rc.cmi src/xml.cmi
src/xml.cmx : src/rc.cmx src/xml.cmi
src/z3.cmo : src/print_real.cmo src/pp.cmi src/options.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/encoding_mono_inst.cmi src/encoding.cmi src/cc.cmi \
    src/z3.cmi
src/z3.cmx : src/print_real.cmx src/pp.cmx src/options.cmx src/misc.cmx \
    src/logic_decl.cmi src/logic.cmi src/loc.cmx src/ident.cmx src/error.cmi \
    src/env.cmx src/encoding_mono_inst.cmx src/encoding.cmx src/cc.cmi \
    src/z3.cmi
src/zenon.cmo : src/vcg.cmi src/util.cmi src/report.cmi src/print_real.cmo \
    src/pp.cmi src/options.cmi src/misc.cmi src/ltyping.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi src/error.cmi \
    src/env.cmi src/encoding.cmi src/cc.cmi src/zenon.cmi
src/zenon.cmx : src/vcg.cmx src/util.cmx src/report.cmx src/print_real.cmx \
    src/pp.cmx src/options.cmx src/misc.cmx src/ltyping.cmx \
    src/logic_decl.cmi src/logic.cmi src/loc.cmx src/ident.cmx src/error.cmi \
    src/env.cmx src/encoding.cmx src/cc.cmi src/zenon.cmi
src/annot.cmi : src/types.cmi src/logic.cmi src/env.cmi src/ast.cmi
src/ast.cmi : src/types.cmi src/ptree.cmi src/logic.cmi src/loc.cmi \
    src/ident.cmi src/cc.cmi
src/cc.cmi : src/logic.cmi src/loc.cmi src/ident.cmi
src/coq.cmi : src/vcg.cmi src/logic_decl.cmi src/logic.cmi src/ident.cmi \
    src/cc.cmi
src/cvcl.cmi : src/logic_decl.cmi src/cc.cmi
src/dispatcher.cmi : src/options.cmi src/logic_decl.cmi src/loc.cmi \
    src/env.cmi tools/dpConfig.cmi src/cc.cmi tools/calldp.cmi
src/effect.cmi : src/logic.cmi src/ident.cmi
src/encoding.cmi : src/logic_decl.cmi src/logic.cmi src/ident.cmi src/cc.cmi
src/encoding_mono_inst.cmi : src/logic_decl.cmi
src/encoding_pred.cmi : src/logic_decl.cmi src/cc.cmi
src/encoding_rec.cmi : src/logic_decl.cmi src/cc.cmi
src/encoding_strat.cmi : src/logic_decl.cmi src/cc.cmi
src/env.cmi : src/types.cmi src/logic.cmi src/loc.cmi src/ident.cmi \
    src/effect.cmi src/cc.cmi src/ast.cmi
src/error.cmi : src/ident.cmi src/effect.cmi
src/explain.cmi : src/logic_decl.cmi src/loc.cmi
src/fastwp.cmi : src/logic.cmi src/env.cmi
src/fpi.cmi : src/cc.cmi
src/gappa.cmi : src/logic_decl.cmi src/cc.cmi
src/graphviz.cmi :
src/harvey.cmi : src/vcg.cmi src/logic_decl.cmi src/cc.cmi
src/hol4.cmi : src/vcg.cmi src/logic_decl.cmi src/cc.cmi
src/holl.cmi : src/vcg.cmi src/logic_decl.cmi src/cc.cmi
src/ident.cmi :
src/isabelle.cmi : src/logic_decl.cmi src/cc.cmi
src/lexer.cmi : src/ptree.cmi src/parser.cmi
src/lib.cmi :
src/linenum.cmi :
src/loc.cmi :
src/log.cmi :
src/logic.cmi : src/ident.cmi
src/logic_decl.cmi : src/logic.cmi src/loc.cmi src/ident.cmi src/env.cmi \
    src/cc.cmi
src/ltyping.cmi : src/types.cmi src/ptree.cmi src/logic.cmi src/loc.cmi \
    src/ident.cmi src/env.cmi src/effect.cmi src/ast.cmi
src/misc.cmi : src/types.cmi src/ptree.cmi src/logic.cmi src/loc.cmi \
    src/ident.cmi src/cc.cmi src/ast.cmi
src/mizar.cmi : src/logic_decl.cmi src/cc.cmi
src/mlize.cmi : src/rename.cmi src/logic.cmi src/env.cmi src/cc.cmi \
    src/ast.cmi
src/monad.cmi : src/monadSig.cmi
src/monadSig.cmi : src/types.cmi src/rename.cmi src/logic.cmi src/loc.cmi \
    src/ident.cmi src/env.cmi src/cc.cmi src/ast.cmi
src/monomorph.cmi : src/logic_decl.cmi src/logic.cmi src/ident.cmi
src/ocaml.cmi : src/types.cmi src/ident.cmi src/env.cmi
src/option_misc.cmi :
src/options.cmi : src/rc.cmi src/project.cmi
src/parser.cmi : src/ptree.cmi src/logic.cmi
src/pp.cmi :
src/predDefExpansor.cmi : src/logic_decl.cmi src/logic.cmi src/ident.cmi \
    src/env.cmi
src/pretty.cmi : src/project.cmi src/logic_decl.cmi
src/project.cmi : src/logic_decl.cmi src/loc.cmi
src/ptree.cmi : src/types.cmi src/logic.cmi src/loc.cmi src/ident.cmi
src/purify.cmi : src/env.cmi
src/pvs.cmi : src/vcg.cmi src/logic_decl.cmi src/cc.cmi
src/rc.cmi :
src/red.cmi : src/logic.cmi src/cc.cmi
src/regen.cmi : src/vcg.cmi src/logic_decl.cmi src/logic.cmi src/loc.cmi \
    src/env.cmi src/cc.cmi
src/rename.cmi : src/ident.cmi
src/report.cmi : src/loc.cmi src/error.cmi
src/simplify.cmi : src/logic_decl.cmi src/cc.cmi
src/smtlib.cmi : src/logic_decl.cmi src/cc.cmi
src/types.cmi : src/logic.cmi src/ident.cmi src/effect.cmi
src/typing.cmi : src/types.cmi src/ptree.cmi src/loc.cmi src/env.cmi \
    src/ast.cmi
src/util.cmi : src/types.cmi src/rename.cmi src/ptree.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/loc.cmi src/ident.cmi src/env.cmi \
    src/effect.cmi src/cc.cmi src/ast.cmi
src/vcg.cmi : src/types.cmi src/logic_decl.cmi src/logic.cmi src/log.cmi \
    src/loc.cmi src/ident.cmi src/cc.cmi src/ast.cmi
src/why3.cmi : src/logic_decl.cmi
src/why3_kw.cmi :
src/wp.cmi : src/logic.cmi src/env.cmi src/ast.cmi
src/wserver.cmi :
src/xml.cmi : src/rc.cmi
src/z3.cmi : src/logic_decl.cmi src/cc.cmi
src/zenon.cmi : src/logic_decl.cmi src/cc.cmi
jc/jc_ai.cmi : src/loc.cmi jc/jc_fenv.cmo jc/jc_ast.cmi
jc/jc_ast.cmi : src/loc.cmi jc/jc_stdlib.cmo jc/jc_region.cmo jc/jc_env.cmi
jc/jc_callgraph.cmi : src/loc.cmi jc/jc_pervasives.cmi jc/jc_fenv.cmo \
    jc/jc_constructors.cmi
jc/jc_common_options.cmi : jc/jc_env.cmi
jc/jc_constructors.cmi : src/loc.cmi jc/jc_fenv.cmo jc/jc_env.cmi \
    jc/jc_ast.cmi
jc/jc_env.cmi :
jc/jc_envset.cmi : jc/jc_stdlib.cmo jc/jc_env.cmi
jc/jc_frame.cmi : jc/output.cmi jc/jc_fenv.cmo jc/jc_ast.cmi
jc/jc_interp.cmi : jc/output.cmi src/loc.cmi jc/jc_typing.cmi \
    jc/jc_type_var.cmi jc/jc_region.cmo jc/jc_fenv.cmo jc/jc_envset.cmi \
    jc/jc_env.cmi jc/jc_ast.cmi
jc/jc_interp_misc.cmi : jc/output.cmi jc/jc_region.cmo jc/jc_pervasives.cmi \
    jc/jc_fenv.cmo jc/jc_envset.cmi jc/jc_env.cmi jc/jc_ast.cmi
jc/jc_iterators.cmi : src/loc.cmi jc/jc_fenv.cmo jc/jc_envset.cmi \
    jc/jc_env.cmi jc/jc_constructors.cmi jc/jc_ast.cmi
jc/jc_lexer.cmi : src/loc.cmi jc/jc_parser.cmi jc/jc_ast.cmi
jc/jc_norm.cmi : jc/jc_fenv.cmo jc/jc_env.cmi jc/jc_ast.cmi
jc/jc_options.cmi : src/rc.cmi jc/output.cmi src/loc.cmi jc/jc_stdlib.cmo \
    jc/jc_env.cmi
jc/jc_parser.cmi : jc/jc_ast.cmi
jc/jc_pervasives.cmi : jc/jc_stdlib.cmo jc/jc_fenv.cmo jc/jc_envset.cmi \
    jc/jc_env.cmi jc/jc_ast.cmi
jc/jc_struct_tools.cmi : jc/jc_env.cmi
jc/jc_type_var.cmi : src/loc.cmi jc/jc_fenv.cmo jc/jc_env.cmi jc/jc_ast.cmi
jc/jc_typing.cmi : src/loc.cmi jc/jc_stdlib.cmo jc/jc_pervasives.cmi \
    jc/jc_fenv.cmo jc/jc_env.cmi jc/jc_constructors.cmi jc/jc_ast.cmi
jc/numconst.cmi :
jc/output.cmi : src/loc.cmi jc/jc_env.cmi
jc/jc_ai.cmo : jc/jc_ai.cmi
jc/jc_ai.cmx : jc/jc_ai.cmi
jc/jc_annot_fail.cmo :
jc/jc_annot_fail.cmx :
jc/jc_annot_inference.cmo : src/pp.cmi src/parser.cmi jc/output.cmi \
    src/option_misc.cmi src/loc.cmi jc/jc_typing.cmi jc/jc_stdlib.cmo \
    jc/jc_separation.cmo jc/jc_region.cmo jc/jc_pervasives.cmi \
    jc/jc_output.cmo jc/jc_options.cmi jc/jc_norm.cmi jc/jc_iterators.cmi \
    jc/jc_fenv.cmo jc/jc_envset.cmi jc/jc_env.cmi jc/jc_effect.cmo \
    jc/jc_constructors.cmi jc/jc_ast.cmi
jc/jc_annot_inference.cmx : src/pp.cmx src/parser.cmx jc/output.cmx \
    src/option_misc.cmx src/loc.cmx jc/jc_typing.cmx jc/jc_stdlib.cmx \
    jc/jc_separation.cmx jc/jc_region.cmx jc/jc_pervasives.cmx \
    jc/jc_output.cmx jc/jc_options.cmx jc/jc_norm.cmx jc/jc_iterators.cmx \
    jc/jc_fenv.cmx jc/jc_envset.cmx jc/jc_env.cmi jc/jc_effect.cmx \
    jc/jc_constructors.cmx jc/jc_ast.cmi
jc/jc_callgraph.cmo : src/pp.cmi src/option_misc.cmi src/loc.cmi \
    jc/jc_typing.cmi jc/jc_stdlib.cmo jc/jc_pervasives.cmi jc/jc_options.cmi \
    jc/jc_iterators.cmi jc/jc_fenv.cmo jc/jc_env.cmi jc/jc_ast.cmi \
    jc/jc_callgraph.cmi
jc/jc_callgraph.cmx : src/pp.cmx src/option_misc.cmx src/loc.cmx \
    jc/jc_typing.cmx jc/jc_stdlib.cmx jc/jc_pervasives.cmx jc/jc_options.cmx \
    jc/jc_iterators.cmx jc/jc_fenv.cmx jc/jc_env.cmi jc/jc_ast.cmi \
    jc/jc_callgraph.cmi
jc/jc_common_options.cmo : jc/jc_env.cmi jc/jc_common_options.cmi
jc/jc_common_options.cmx : jc/jc_env.cmi jc/jc_common_options.cmi
jc/jc_constructors.cmo : src/loc.cmi jc/jc_region.cmo jc/jc_fenv.cmo \
    jc/jc_env.cmi jc/jc_ast.cmi jc/jc_constructors.cmi
jc/jc_constructors.cmx : src/loc.cmx jc/jc_region.cmx jc/jc_fenv.cmx \
    jc/jc_env.cmi jc/jc_ast.cmi jc/jc_constructors.cmi
jc/jc_control_flow.cmo : jc/jc_ast.cmi
jc/jc_control_flow.cmx : jc/jc_ast.cmi
jc/jc_effect.cmo : src/pp.cmi src/option_misc.cmi jc/jc_typing.cmi \
    jc/jc_struct_tools.cmi jc/jc_stdlib.cmo jc/jc_region.cmo \
    jc/jc_pervasives.cmi jc/jc_output_misc.cmo jc/jc_output.cmo \
    jc/jc_options.cmi jc/jc_name.cmo jc/jc_iterators.cmi jc/jc_fenv.cmo \
    jc/jc_envset.cmi jc/jc_env.cmi jc/jc_constructors.cmi jc/jc_ast.cmi
jc/jc_effect.cmx : src/pp.cmx src/option_misc.cmx jc/jc_typing.cmx \
    jc/jc_struct_tools.cmx jc/jc_stdlib.cmx jc/jc_region.cmx \
    jc/jc_pervasives.cmx jc/jc_output_misc.cmx jc/jc_output.cmx \
    jc/jc_options.cmx jc/jc_name.cmx jc/jc_iterators.cmx jc/jc_fenv.cmx \
    jc/jc_envset.cmx jc/jc_env.cmi jc/jc_constructors.cmx jc/jc_ast.cmi
jc/jc_envset.cmo : jc/jc_stdlib.cmo jc/jc_env.cmi jc/jc_envset.cmi
jc/jc_envset.cmx : jc/jc_stdlib.cmx jc/jc_env.cmi jc/jc_envset.cmi
jc/jc_fenv.cmo : jc/jc_stdlib.cmo jc/jc_region.cmo jc/jc_envset.cmi \
    jc/jc_env.cmi jc/jc_ast.cmi
jc/jc_fenv.cmx : jc/jc_stdlib.cmx jc/jc_region.cmx jc/jc_envset.cmx \
    jc/jc_env.cmi jc/jc_ast.cmi
jc/jc_frame.cmo : src/pp.cmi jc/output.cmi jc/jc_typing.cmi \
    jc/jc_struct_tools.cmi jc/jc_stdlib.cmo jc/jc_separation.cmo \
    jc/jc_region.cmo jc/jc_pervasives.cmi jc/jc_pattern.cmo jc/jc_options.cmi \
    jc/jc_name.cmo jc/jc_invariants.cmo jc/jc_interp_misc.cmi \
    jc/jc_interp.cmi jc/jc_frame_notin.cmo jc/jc_fenv.cmo jc/jc_envset.cmi \
    jc/jc_env.cmi jc/jc_effect.cmo jc/jc_constructors.cmi jc/jc_ast.cmi \
    jc/jc_frame.cmi
jc/jc_frame.cmx : src/pp.cmx jc/output.cmx jc/jc_typing.cmx \
    jc/jc_struct_tools.cmx jc/jc_stdlib.cmx jc/jc_separation.cmx \
    jc/jc_region.cmx jc/jc_pervasives.cmx jc/jc_pattern.cmx jc/jc_options.cmx \
    jc/jc_name.cmx jc/jc_invariants.cmx jc/jc_interp_misc.cmx \
    jc/jc_interp.cmx jc/jc_frame_notin.cmx jc/jc_fenv.cmx jc/jc_envset.cmx \
    jc/jc_env.cmi jc/jc_effect.cmx jc/jc_constructors.cmx jc/jc_ast.cmi \
    jc/jc_frame.cmi
jc/jc_frame_notin.cmo : src/pp.cmi jc/output.cmi jc/jc_typing.cmi \
    jc/jc_type_var.cmi jc/jc_struct_tools.cmi jc/jc_stdlib.cmo \
    jc/jc_separation.cmo jc/jc_region.cmo jc/jc_pervasives.cmi \
    jc/jc_pattern.cmo jc/jc_name.cmo jc/jc_invariants.cmo \
    jc/jc_interp_misc.cmi jc/jc_fenv.cmo jc/jc_envset.cmi jc/jc_env.cmi \
    jc/jc_effect.cmo jc/jc_constructors.cmi jc/jc_ast.cmi
jc/jc_frame_notin.cmx : src/pp.cmx jc/output.cmx jc/jc_typing.cmx \
    jc/jc_type_var.cmx jc/jc_struct_tools.cmx jc/jc_stdlib.cmx \
    jc/jc_separation.cmx jc/jc_region.cmx jc/jc_pervasives.cmx \
    jc/jc_pattern.cmx jc/jc_name.cmx jc/jc_invariants.cmx \
    jc/jc_interp_misc.cmx jc/jc_fenv.cmx jc/jc_envset.cmx jc/jc_env.cmi \
    jc/jc_effect.cmx jc/jc_constructors.cmx jc/jc_ast.cmi
jc/jc_interp.cmo : src/rc.cmi src/pp.cmi jc/output.cmi src/option_misc.cmi \
    jc/numconst.cmi src/loc.cmi jc/jc_typing.cmi jc/jc_type_var.cmi \
    jc/jc_struct_tools.cmi jc/jc_stdlib.cmo jc/jc_separation.cmo \
    jc/jc_region.cmo jc/jc_pervasives.cmi jc/jc_pattern.cmo jc/jc_options.cmi \
    jc/jc_name.cmo jc/jc_iterators.cmi jc/jc_invariants.cmo \
    jc/jc_interp_misc.cmi jc/jc_fenv.cmo jc/jc_envset.cmi jc/jc_env.cmi \
    jc/jc_effect.cmo jc/jc_constructors.cmi jc/jc_ast.cmi jc/jc_interp.cmi
jc/jc_interp.cmx : src/rc.cmx src/pp.cmx jc/output.cmx src/option_misc.cmx \
    jc/numconst.cmx src/loc.cmx jc/jc_typing.cmx jc/jc_type_var.cmx \
    jc/jc_struct_tools.cmx jc/jc_stdlib.cmx jc/jc_separation.cmx \
    jc/jc_region.cmx jc/jc_pervasives.cmx jc/jc_pattern.cmx jc/jc_options.cmx \
    jc/jc_name.cmx jc/jc_iterators.cmx jc/jc_invariants.cmx \
    jc/jc_interp_misc.cmx jc/jc_fenv.cmx jc/jc_envset.cmx jc/jc_env.cmi \
    jc/jc_effect.cmx jc/jc_constructors.cmx jc/jc_ast.cmi jc/jc_interp.cmi
jc/jc_interp_misc.cmo : src/pp.cmi jc/output.cmi src/option_misc.cmi \
    jc/numconst.cmi jc/jc_typing.cmi jc/jc_type_var.cmi \
    jc/jc_struct_tools.cmi jc/jc_stdlib.cmo jc/jc_region.cmo \
    jc/jc_pervasives.cmi jc/jc_options.cmi jc/jc_name.cmo jc/jc_fenv.cmo \
    jc/jc_envset.cmi jc/jc_env.cmi jc/jc_effect.cmo jc/jc_constructors.cmi \
    jc/jc_ast.cmi jc/jc_interp_misc.cmi
jc/jc_interp_misc.cmx : src/pp.cmx jc/output.cmx src/option_misc.cmx \
    jc/numconst.cmx jc/jc_typing.cmx jc/jc_type_var.cmx \
    jc/jc_struct_tools.cmx jc/jc_stdlib.cmx jc/jc_region.cmx \
    jc/jc_pervasives.cmx jc/jc_options.cmx jc/jc_name.cmx jc/jc_fenv.cmx \
    jc/jc_envset.cmx jc/jc_env.cmi jc/jc_effect.cmx jc/jc_constructors.cmx \
    jc/jc_ast.cmi jc/jc_interp_misc.cmi
jc/jc_invariants.cmo : jc/output.cmi src/loc.cmi jc/jc_typing.cmi \
    jc/jc_struct_tools.cmi jc/jc_stdlib.cmo jc/jc_region.cmo \
    jc/jc_pervasives.cmi jc/jc_options.cmi jc/jc_name.cmo jc/jc_iterators.cmi \
    jc/jc_interp_misc.cmi jc/jc_fenv.cmo jc/jc_envset.cmi jc/jc_env.cmi \
    jc/jc_constructors.cmi jc/jc_common_options.cmi jc/jc_ast.cmi
jc/jc_invariants.cmx : jc/output.cmx src/loc.cmx jc/jc_typing.cmx \
    jc/jc_struct_tools.cmx jc/jc_stdlib.cmx jc/jc_region.cmx \
    jc/jc_pervasives.cmx jc/jc_options.cmx jc/jc_name.cmx jc/jc_iterators.cmx \
    jc/jc_interp_misc.cmx jc/jc_fenv.cmx jc/jc_envset.cmx jc/jc_env.cmi \
    jc/jc_constructors.cmx jc/jc_common_options.cmx jc/jc_ast.cmi
jc/jc_iterators.cmo : src/option_misc.cmi jc/jc_fenv.cmo jc/jc_envset.cmi \
    jc/jc_constructors.cmi jc/jc_ast.cmi jc/jc_iterators.cmi
jc/jc_iterators.cmx : src/option_misc.cmx jc/jc_fenv.cmx jc/jc_envset.cmx \
    jc/jc_constructors.cmx jc/jc_ast.cmi jc/jc_iterators.cmi
jc/jc_lexer.cmo : jc/jc_pervasives.cmi jc/jc_parser.cmi jc/jc_options.cmi \
    jc/jc_env.cmi jc/jc_ast.cmi jc/jc_lexer.cmi
jc/jc_lexer.cmx : jc/jc_pervasives.cmx jc/jc_parser.cmx jc/jc_options.cmx \
    jc/jc_env.cmi jc/jc_ast.cmi jc/jc_lexer.cmi
jc/jc_main.cmo : src/pp.cmi jc/output.cmi src/option_misc.cmi src/loc.cmi \
    src/lib.cmi jc/jc_typing.cmi jc/jc_stdlib.cmo jc/jc_separation.cmo \
    jc/jc_region.cmo jc/jc_poutput.cmo jc/jc_pervasives.cmi jc/jc_options.cmi \
    jc/jc_norm.cmi jc/jc_make.cmo jc/jc_lexer.cmi jc/jc_invariants.cmo \
    jc/jc_interp_misc.cmi jc/jc_interp.cmi jc/jc_frame.cmi jc/jc_fenv.cmo \
    jc/jc_env.cmi jc/jc_effect.cmo jc/jc_callgraph.cmi jc/jc_ast.cmi \
    jc/jc_ai.cmi
jc/jc_main.cmx : src/pp.cmx jc/output.cmx src/option_misc.cmx src/loc.cmx \
    src/lib.cmx jc/jc_typing.cmx jc/jc_stdlib.cmx jc/jc_separation.cmx \
    jc/jc_region.cmx jc/jc_poutput.cmx jc/jc_pervasives.cmx jc/jc_options.cmx \
    jc/jc_norm.cmx jc/jc_make.cmx jc/jc_lexer.cmx jc/jc_invariants.cmx \
    jc/jc_interp_misc.cmx jc/jc_interp.cmx jc/jc_frame.cmx jc/jc_fenv.cmx \
    jc/jc_env.cmi jc/jc_effect.cmx jc/jc_callgraph.cmx jc/jc_ast.cmi \
    jc/jc_ai.cmx
jc/jc_make.cmo : src/pp.cmi jc/jc_options.cmi
jc/jc_make.cmx : src/pp.cmx jc/jc_options.cmx
jc/jc_name.cmo : jc/output.cmi jc/jc_region.cmo jc/jc_pervasives.cmi \
    jc/jc_env.cmi jc/jc_common_options.cmi jc/jc_ast.cmi
jc/jc_name.cmx : jc/output.cmx jc/jc_region.cmx jc/jc_pervasives.cmx \
    jc/jc_env.cmi jc/jc_common_options.cmx jc/jc_ast.cmi
jc/jc_norm.cmo : src/pp.cmi src/option_misc.cmi jc/jc_pervasives.cmi \
    jc/jc_options.cmi jc/jc_iterators.cmi jc/jc_fenv.cmo jc/jc_envset.cmi \
    jc/jc_env.cmi jc/jc_constructors.cmi jc/jc_ast.cmi jc/jc_norm.cmi
jc/jc_norm.cmx : src/pp.cmx src/option_misc.cmx jc/jc_pervasives.cmx \
    jc/jc_options.cmx jc/jc_iterators.cmx jc/jc_fenv.cmx jc/jc_envset.cmx \
    jc/jc_env.cmi jc/jc_constructors.cmx jc/jc_ast.cmi jc/jc_norm.cmi
jc/jc_noutput.cmo : src/pp.cmi jc/jc_pervasives.cmi jc/jc_output_misc.cmo \
    jc/jc_ast.cmi
jc/jc_noutput.cmx : src/pp.cmx jc/jc_pervasives.cmx jc/jc_output_misc.cmx \
    jc/jc_ast.cmi
jc/jc_options.cmo : src/version.cmo src/rc.cmi jc/output.cmi src/loc.cmi \
    jc/jc_stdlib.cmo jc/jc_env.cmi jc/jc_common_options.cmi jc/jc_options.cmi
jc/jc_options.cmx : src/version.cmx src/rc.cmx jc/output.cmx src/loc.cmx \
    jc/jc_stdlib.cmx jc/jc_env.cmi jc/jc_common_options.cmx jc/jc_options.cmi
jc/jc_output.cmo : src/pp.cmi src/option_misc.cmi jc/jc_type_var.cmi \
    jc/jc_poutput.cmo jc/jc_pervasives.cmi jc/jc_output_misc.cmo \
    jc/jc_fenv.cmo jc/jc_env.cmi jc/jc_constructors.cmi jc/jc_ast.cmi
jc/jc_output.cmx : src/pp.cmx src/option_misc.cmx jc/jc_type_var.cmx \
    jc/jc_poutput.cmx jc/jc_pervasives.cmx jc/jc_output_misc.cmx \
    jc/jc_fenv.cmx jc/jc_env.cmi jc/jc_constructors.cmx jc/jc_ast.cmi
jc/jc_output_misc.cmo : src/pp.cmi jc/jc_pervasives.cmi jc/jc_env.cmi \
    jc/jc_ast.cmi
jc/jc_output_misc.cmx : src/pp.cmx jc/jc_pervasives.cmx jc/jc_env.cmi \
    jc/jc_ast.cmi
jc/jc_parser.cmo : src/loc.cmi jc/jc_pervasives.cmi jc/jc_options.cmi \
    jc/jc_env.cmi jc/jc_constructors.cmi jc/jc_ast.cmi src/error.cmi \
    jc/jc_parser.cmi
jc/jc_parser.cmx : src/loc.cmx jc/jc_pervasives.cmx jc/jc_options.cmx \
    jc/jc_env.cmi jc/jc_constructors.cmx jc/jc_ast.cmi src/error.cmi \
    jc/jc_parser.cmi
jc/jc_pattern.cmo : jc/output.cmi jc/jc_region.cmo jc/jc_pervasives.cmi \
    jc/jc_name.cmo jc/jc_interp_misc.cmi jc/jc_env.cmi jc/jc_effect.cmo \
    jc/jc_ast.cmi
jc/jc_pattern.cmx : jc/output.cmx jc/jc_region.cmx jc/jc_pervasives.cmx \
    jc/jc_name.cmx jc/jc_interp_misc.cmx jc/jc_env.cmi jc/jc_effect.cmx \
    jc/jc_ast.cmi
jc/jc_pervasives.cmo : src/pp.cmi src/option_misc.cmi src/loc.cmi \
    jc/jc_stdlib.cmo jc/jc_region.cmo jc/jc_fenv.cmo jc/jc_envset.cmi \
    jc/jc_env.cmi jc/jc_constructors.cmi jc/jc_ast.cmi jc/jc_pervasives.cmi
jc/jc_pervasives.cmx : src/pp.cmx src/option_misc.cmx src/loc.cmx \
    jc/jc_stdlib.cmx jc/jc_region.cmx jc/jc_fenv.cmx jc/jc_envset.cmx \
    jc/jc_env.cmi jc/jc_constructors.cmx jc/jc_ast.cmi jc/jc_pervasives.cmi
jc/jc_poutput.cmo : src/pp.cmi src/option_misc.cmi jc/jc_pervasives.cmi \
    jc/jc_output_misc.cmo jc/jc_fenv.cmo jc/jc_env.cmi jc/jc_ast.cmi
jc/jc_poutput.cmx : src/pp.cmx src/option_misc.cmx jc/jc_pervasives.cmx \
    jc/jc_output_misc.cmx jc/jc_fenv.cmx jc/jc_env.cmi jc/jc_ast.cmi
jc/jc_region.cmo : src/pp.cmi jc/jc_stdlib.cmo jc/jc_envset.cmi \
    jc/jc_env.cmi jc/jc_common_options.cmi
jc/jc_region.cmx : src/pp.cmx jc/jc_stdlib.cmx jc/jc_envset.cmx \
    jc/jc_env.cmi jc/jc_common_options.cmx
jc/jc_separation.cmo : src/pp.cmi src/option_misc.cmi jc/jc_typing.cmi \
    jc/jc_stdlib.cmo jc/jc_region.cmo jc/jc_pervasives.cmi jc/jc_options.cmi \
    jc/jc_iterators.cmi jc/jc_fenv.cmo jc/jc_envset.cmi jc/jc_env.cmi \
    jc/jc_constructors.cmi jc/jc_ast.cmi
jc/jc_separation.cmx : src/pp.cmx src/option_misc.cmx jc/jc_typing.cmx \
    jc/jc_stdlib.cmx jc/jc_region.cmx jc/jc_pervasives.cmx jc/jc_options.cmx \
    jc/jc_iterators.cmx jc/jc_fenv.cmx jc/jc_envset.cmx jc/jc_env.cmi \
    jc/jc_constructors.cmx jc/jc_ast.cmi
jc/jc_stdlib.cmo :
jc/jc_stdlib.cmx :
jc/jc_stdlib_ge312.cmo :
jc/jc_stdlib_ge312.cmx :
jc/jc_stdlib_ge40.cmo :
jc/jc_stdlib_ge40.cmx :
jc/jc_stdlib_ge400.cmo :
jc/jc_stdlib_ge400.cmx :
jc/jc_stdlib_lt312.cmo :
jc/jc_stdlib_lt312.cmx :
jc/jc_struct_tools.cmo : jc/jc_pervasives.cmi jc/jc_output_misc.cmo \
    jc/jc_options.cmi jc/jc_name.cmo jc/jc_envset.cmi jc/jc_env.cmi \
    jc/jc_struct_tools.cmi
jc/jc_struct_tools.cmx : jc/jc_pervasives.cmx jc/jc_output_misc.cmx \
    jc/jc_options.cmx jc/jc_name.cmx jc/jc_envset.cmx jc/jc_env.cmi \
    jc/jc_struct_tools.cmi
jc/jc_type_var.cmo : src/pp.cmi src/loc.cmi jc/jc_pervasives.cmi \
    jc/jc_iterators.cmi jc/jc_envset.cmi jc/jc_env.cmi jc/jc_constructors.cmi \
    jc/jc_type_var.cmi
jc/jc_type_var.cmx : src/pp.cmx src/loc.cmx jc/jc_pervasives.cmx \
    jc/jc_iterators.cmx jc/jc_envset.cmx jc/jc_env.cmi jc/jc_constructors.cmx \
    jc/jc_type_var.cmi
jc/jc_typing.cmo : src/pp.cmi src/option_misc.cmi src/loc.cmi \
    jc/jc_type_var.cmi jc/jc_struct_tools.cmi jc/jc_stdlib.cmo \
    jc/jc_region.cmo jc/jc_pervasives.cmi jc/jc_output_misc.cmo \
    jc/jc_output.cmo jc/jc_options.cmi jc/jc_noutput.cmo jc/jc_norm.cmi \
    jc/jc_iterators.cmi jc/jc_fenv.cmo jc/jc_envset.cmi jc/jc_env.cmi \
    jc/jc_constructors.cmi jc/jc_common_options.cmi jc/jc_ast.cmi \
    jc/jc_typing.cmi
jc/jc_typing.cmx : src/pp.cmx src/option_misc.cmx src/loc.cmx \
    jc/jc_type_var.cmx jc/jc_struct_tools.cmx jc/jc_stdlib.cmx \
    jc/jc_region.cmx jc/jc_pervasives.cmx jc/jc_output_misc.cmx \
    jc/jc_output.cmx jc/jc_options.cmx jc/jc_noutput.cmx jc/jc_norm.cmx \
    jc/jc_iterators.cmx jc/jc_fenv.cmx jc/jc_envset.cmx jc/jc_env.cmi \
    jc/jc_constructors.cmx jc/jc_common_options.cmx jc/jc_ast.cmi \
    jc/jc_typing.cmi
jc/numconst.cmo : jc/numconst.cmi
jc/numconst.cmx : jc/numconst.cmi
jc/output.cmo : src/why3_kw.cmi src/pp.cmi src/option_misc.cmi src/loc.cmi \
    jc/jc_env.cmi jc/output.cmi
jc/output.cmx : src/why3_kw.cmx src/pp.cmx src/option_misc.cmx src/loc.cmx \
    jc/jc_env.cmi jc/output.cmi
c/cast.cmi : src/loc.cmi c/info.cmi c/ctypes.cmi c/clogic.cmi c/cconst.cmi
c/cast_misc.cmi : c/cast.cmi
c/cconst.cmi : src/loc.cmi
c/ceffect.cmi : jc/output.cmi src/loc.cmi c/info.cmi c/clogic.cmi c/cast.cmi
c/cenv.cmi : src/loc.cmi src/lib.cmi c/info.cmi c/ctypes.cmi c/cast.cmi
c/cerror.cmi : c/ctypes.cmi
c/cgraph.cmi : c/info.cmi c/cast.cmi
c/cinit.cmi : src/loc.cmi c/info.cmi c/cast.cmi
c/cinterp.cmi : jc/output.cmi c/cast.cmi
c/clogic.cmi : src/loc.cmi c/info.cmi
c/clparser.cmi : c/clogic.cmi c/cast.cmi
c/cltyping.cmi : src/loc.cmi src/env.cmi c/clogic.cmi c/cenv.cmi c/cast.cmi
c/cmake.cmi :
c/cnorm.cmi : c/info.cmi c/ctypes.cmi c/clogic.cmi c/cast.cmi
c/coptions.cmi :
c/cparser.cmi : c/clogic.cmi c/cast.cmi
c/cpp.cmi :
c/cprint.cmi : c/clogic.cmi c/cast.cmi
c/cprint_graph.cmi :
c/cptr.cmi : c/info.cmi c/cenv.cmi c/cast.cmi
c/creport.cmi : src/loc.cmi c/ctypes.cmi c/cerror.cmi
c/cseparation.cmi : src/loc.cmi c/info.cmi c/ctypes.cmi c/clogic.cmi \
    c/cast.cmi
c/ctypes.cmi :
c/ctyping.cmi : c/ctypes.cmi c/cast.cmi
c/cutil.cmi :
c/info.cmi : jc/output.cmi c/ctypes.cmi
c/invariant.cmi : c/info.cmi c/ctypes.cmi c/creport.cmi c/cnorm.cmi \
    c/clogic.cmi c/cenv.cmi c/cast.cmi
c/cabsint.cmo : src/loc.cmi c/info.cmi c/cutil.cmi c/ctypes.cmi c/cprint.cmi \
    c/coptions.cmi c/clogic.cmi c/cenv.cmi c/ceffect.cmi c/cast.cmi
c/cabsint.cmx : src/loc.cmx c/info.cmx c/cutil.cmx c/ctypes.cmx c/cprint.cmx \
    c/coptions.cmx c/clogic.cmi c/cenv.cmx c/ceffect.cmx c/cast.cmi
c/cast_misc.cmo : c/ctypes.cmi c/cast.cmi c/cast_misc.cmi
c/cast_misc.cmx : c/ctypes.cmx c/cast.cmi c/cast_misc.cmi
c/cconst.cmo : c/creport.cmi c/cconst.cmi
c/cconst.cmx : c/creport.cmx c/cconst.cmi
c/ceffect.cmo : src/pp.cmi jc/output.cmi src/loc.cmi c/info.cmi c/ctypes.cmi \
    c/cseparation.cmi c/creport.cmi c/coptions.cmi c/cnorm.cmi c/clogic.cmi \
    c/cinit.cmi c/cenv.cmi c/cast.cmi c/ceffect.cmi
c/ceffect.cmx : src/pp.cmx jc/output.cmx src/loc.cmx c/info.cmx c/ctypes.cmx \
    c/cseparation.cmx c/creport.cmx c/coptions.cmx c/cnorm.cmx c/clogic.cmi \
    c/cinit.cmx c/cenv.cmx c/cast.cmi c/ceffect.cmi
c/cenv.cmo : jc/output.cmi src/loc.cmi src/lib.cmi c/info.cmi c/cutil.cmi \
    c/ctypes.cmi c/creport.cmi c/coptions.cmi c/cast.cmi c/cenv.cmi
c/cenv.cmx : jc/output.cmx src/loc.cmx src/lib.cmx c/info.cmx c/cutil.cmx \
    c/ctypes.cmx c/creport.cmx c/coptions.cmx c/cast.cmi c/cenv.cmi
c/cgraph.cmo : c/info.cmi c/coptions.cmi c/clogic.cmi c/cenv.cmi c/cast.cmi \
    c/cgraph.cmi
c/cgraph.cmx : c/info.cmx c/coptions.cmx c/clogic.cmi c/cenv.cmx c/cast.cmi \
    c/cgraph.cmi
c/cinit.cmo : src/loc.cmi c/info.cmi c/ctyping.cmi c/ctypes.cmi \
    c/coptions.cmi c/cltyping.cmi c/clogic.cmi c/cenv.cmi c/cast.cmi \
    c/cinit.cmi
c/cinit.cmx : src/loc.cmx c/info.cmx c/ctyping.cmx c/ctypes.cmx \
    c/coptions.cmx c/cltyping.cmx c/clogic.cmi c/cenv.cmx c/cast.cmi \
    c/cinit.cmi
c/cinterp.cmo : src/pp.cmi jc/output.cmi src/option_misc.cmi src/loc.cmi \
    c/invariant.cmi c/info.cmi c/ctypes.cmi c/cseparation.cmi c/creport.cmi \
    c/coptions.cmi c/cnorm.cmi c/clogic.cmi c/cinit.cmi c/cerror.cmi \
    c/cenv.cmi c/ceffect.cmi c/cconst.cmi c/cast.cmi c/cinterp.cmi
c/cinterp.cmx : src/pp.cmx jc/output.cmx src/option_misc.cmx src/loc.cmx \
    c/invariant.cmx c/info.cmx c/ctypes.cmx c/cseparation.cmx c/creport.cmx \
    c/coptions.cmx c/cnorm.cmx c/clogic.cmi c/cinit.cmx c/cerror.cmi \
    c/cenv.cmx c/ceffect.cmx c/cconst.cmx c/cast.cmi c/cinterp.cmi
c/clexer.cmo : c/ctypes.cmi c/creport.cmi c/cparser.cmi c/clogic.cmi \
    c/cllexer.cmo c/cerror.cmi c/cast.cmi
c/clexer.cmx : c/ctypes.cmx c/creport.cmx c/cparser.cmx c/clogic.cmi \
    c/cllexer.cmx c/cerror.cmi c/cast.cmi
c/cllexer.cmo : src/loc.cmi c/creport.cmi c/clparser.cmi c/clogic.cmi \
    c/cerror.cmi
c/cllexer.cmx : src/loc.cmx c/creport.cmx c/clparser.cmx c/clogic.cmi \
    c/cerror.cmi
c/clparser.cmo : src/loc.cmi c/info.cmi c/ctypes.cmi c/creport.cmi \
    c/clogic.cmi c/cast_misc.cmi c/cast.cmi c/clparser.cmi
c/clparser.cmx : src/loc.cmx c/info.cmx c/ctypes.cmx c/creport.cmx \
    c/clogic.cmi c/cast_misc.cmx c/cast.cmi c/clparser.cmi
c/cltyping.cmo : src/loc.cmi c/info.cmi src/env.cmi c/ctypes.cmi \
    c/creport.cmi c/coptions.cmi c/clogic.cmi c/cerror.cmi c/cenv.cmi \
    c/cconst.cmi c/cast.cmi c/cltyping.cmi
c/cltyping.cmx : src/loc.cmx c/info.cmx src/env.cmx c/ctypes.cmx \
    c/creport.cmx c/coptions.cmx c/clogic.cmi c/cerror.cmi c/cenv.cmx \
    c/cconst.cmx c/cast.cmi c/cltyping.cmi
c/cmain.cmo : src/pp.cmi jc/output.cmi src/loc.cmi src/lib.cmi \
    c/invariant.cmi c/info.cmi c/ctyping.cmi c/cseparation.cmi c/creport.cmi \
    c/cptr.cmi c/cprint_graph.cmi c/cprint.cmi c/cpp.cmi c/coptions.cmi \
    c/cnorm.cmi c/cmake.cmi c/clexer.cmo c/cinterp.cmi c/cinit.cmi \
    c/cgraph.cmi c/cerror.cmi c/cenv.cmi c/ceffect.cmi
c/cmain.cmx : src/pp.cmx jc/output.cmx src/loc.cmx src/lib.cmx \
    c/invariant.cmx c/info.cmx c/ctyping.cmx c/cseparation.cmx c/creport.cmx \
    c/cptr.cmx c/cprint_graph.cmx c/cprint.cmx c/cpp.cmx c/coptions.cmx \
    c/cnorm.cmx c/cmake.cmx c/clexer.cmx c/cinterp.cmx c/cinit.cmx \
    c/cgraph.cmx c/cerror.cmi c/cenv.cmx c/ceffect.cmx
c/cmake.cmo : src/pp.cmi c/coptions.cmi c/cmake.cmi
c/cmake.cmx : src/pp.cmx c/coptions.cmx c/cmake.cmi
c/cnorm.cmo : jc/output.cmi src/option_misc.cmi src/loc.cmi c/info.cmi \
    c/ctyping.cmi c/ctypes.cmi c/creport.cmi c/cprint.cmi c/coptions.cmi \
    c/cltyping.cmi c/clogic.cmi c/cenv.cmi c/cconst.cmi c/cast.cmi \
    c/cnorm.cmi
c/cnorm.cmx : jc/output.cmx src/option_misc.cmx src/loc.cmx c/info.cmx \
    c/ctyping.cmx c/ctypes.cmx c/creport.cmx c/cprint.cmx c/coptions.cmx \
    c/cltyping.cmx c/clogic.cmi c/cenv.cmx c/cconst.cmx c/cast.cmi \
    c/cnorm.cmi
c/coptions.cmo : src/version.cmo c/cversion.cmo c/coptions.cmi
c/coptions.cmx : src/version.cmx c/cversion.cmx c/coptions.cmi
c/cparser.cmo : src/ptree.cmi src/loc.cmi c/ctypes.cmi c/creport.cmi \
    c/coptions.cmi c/clogic.cmi c/cerror.cmi c/cast_misc.cmi c/cast.cmi \
    c/cparser.cmi
c/cparser.cmx : src/ptree.cmi src/loc.cmx c/ctypes.cmx c/creport.cmx \
    c/coptions.cmx c/clogic.cmi c/cerror.cmi c/cast_misc.cmx c/cast.cmi \
    c/cparser.cmi
c/cpp.cmo : c/coptions.cmi c/cpp.cmi
c/cpp.cmx : c/coptions.cmx c/cpp.cmi
c/cprint.cmo : src/pp.cmi c/info.cmi c/cutil.cmi c/ctypes.cmi c/clogic.cmi \
    c/cenv.cmi c/cconst.cmi c/cast.cmi c/cprint.cmi
c/cprint.cmx : src/pp.cmx c/info.cmx c/cutil.cmx c/ctypes.cmx c/clogic.cmi \
    c/cenv.cmx c/cconst.cmx c/cast.cmi c/cprint.cmi
c/cprint_annot.cmo : src/pp.cmi c/info.cmi c/ctypes.cmi c/clogic.cmi \
    c/cenv.cmi c/cast.cmi
c/cprint_annot.cmx : src/pp.cmx c/info.cmx c/ctypes.cmx c/clogic.cmi \
    c/cenv.cmx c/cast.cmi
c/cprint_graph.cmo : c/info.cmi c/cenv.cmi c/cprint_graph.cmi
c/cprint_graph.cmx : c/info.cmx c/cenv.cmx c/cprint_graph.cmi
c/cptr.cmo : src/loc.cmi c/info.cmi c/cutil.cmi c/ctypes.cmi c/coptions.cmi \
    c/clogic.cmi c/cenv.cmi c/cast.cmi c/cabsint.cmo c/cptr.cmi
c/cptr.cmx : src/loc.cmx c/info.cmx c/cutil.cmx c/ctypes.cmx c/coptions.cmx \
    c/clogic.cmi c/cenv.cmx c/cast.cmi c/cabsint.cmx c/cptr.cmi
c/creport.cmo : src/loc.cmi c/ctypes.cmi c/coptions.cmi c/cerror.cmi \
    c/creport.cmi
c/creport.cmx : src/loc.cmx c/ctypes.cmx c/coptions.cmx c/cerror.cmi \
    c/creport.cmi
c/cseparation.cmo : jc/output.cmi src/loc.cmi c/info.cmi c/ctypes.cmi \
    c/creport.cmi c/coptions.cmi c/cnorm.cmi c/clogic.cmi c/cenv.cmi \
    c/cast.cmi c/cseparation.cmi
c/cseparation.cmx : jc/output.cmx src/loc.cmx c/info.cmx c/ctypes.cmx \
    c/creport.cmx c/coptions.cmx c/cnorm.cmx c/clogic.cmi c/cenv.cmx \
    c/cast.cmi c/cseparation.cmi
c/csymbol.cmo : src/pp.cmi c/ctypes.cmi c/cprint.cmi c/coptions.cmi \
    c/clogic.cmi c/cabsint.cmo
c/csymbol.cmx : src/pp.cmx c/ctypes.cmx c/cprint.cmx c/coptions.cmx \
    c/clogic.cmi c/cabsint.cmx
c/ctypes.cmo : src/lib.cmi c/coptions.cmi c/ctypes.cmi
c/ctypes.cmx : src/lib.cmx c/coptions.cmx c/ctypes.cmi
c/ctyping.cmo : src/pp.cmi src/option_misc.cmi src/loc.cmi src/lib.cmi \
    c/info.cmi src/env.cmi c/ctypes.cmi c/creport.cmi c/coptions.cmi \
    c/cltyping.cmi c/clogic.cmi c/cerror.cmi c/cenv.cmi c/cconst.cmi \
    c/cast.cmi c/ctyping.cmi
c/ctyping.cmx : src/pp.cmx src/option_misc.cmx src/loc.cmx src/lib.cmx \
    c/info.cmx src/env.cmx c/ctypes.cmx c/creport.cmx c/coptions.cmx \
    c/cltyping.cmx c/clogic.cmi c/cerror.cmi c/cenv.cmx c/cconst.cmx \
    c/cast.cmi c/ctyping.cmi
c/cutil.cmo : c/cutil.cmi
c/cutil.cmx : c/cutil.cmi
c/cversion.cmo :
c/cversion.cmx :
c/info.cmo : jc/output.cmi c/ctypes.cmi c/creport.cmi c/coptions.cmi \
    c/info.cmi
c/info.cmx : jc/output.cmx c/ctypes.cmx c/creport.cmx c/coptions.cmx \
    c/info.cmi
c/invariant.cmo : src/loc.cmi c/info.cmi c/ctypes.cmi c/cseparation.cmi \
    c/creport.cmi c/cprint.cmi c/coptions.cmi c/cnorm.cmi c/clogic.cmi \
    c/cenv.cmi c/cast.cmi c/invariant.cmi
c/invariant.cmx : src/loc.cmx c/info.cmx c/ctypes.cmx c/cseparation.cmx \
    c/creport.cmx c/cprint.cmx c/coptions.cmx c/cnorm.cmx c/clogic.cmi \
    c/cenv.cmx c/cast.cmi c/invariant.cmi
java/java_ast.cmi : src/loc.cmi java/java_env.cmi
java/java_callgraph.cmi : java/java_typing.cmi java/java_tast.cmi \
    java/java_env.cmi
java/java_env.cmi : src/loc.cmi
java/java_parser.cmi : java/java_ast.cmi
java/java_tast.cmi : src/loc.cmi java/java_env.cmi java/java_ast.cmi
java/java_typing.cmi : src/loc.cmi java/java_tast.cmi java/java_env.cmi \
    java/java_ast.cmi
java/java_abstract.cmo : src/pp.cmi java/java_env.cmi java/java_ast.cmi
java/java_abstract.cmx : src/pp.cmx java/java_env.cmi java/java_ast.cmi
java/java_analysis.cmo : src/option_misc.cmi java/java_typing.cmi \
    java/java_tast.cmi java/java_pervasives.cmo java/java_options.cmo \
    java/java_env.cmi java/java_ast.cmi
java/java_analysis.cmx : src/option_misc.cmx java/java_typing.cmx \
    java/java_tast.cmi java/java_pervasives.cmx java/java_options.cmx \
    java/java_env.cmi java/java_ast.cmi
java/java_callgraph.cmo : src/pp.cmi src/option_misc.cmi \
    java/java_typing.cmi java/java_tast.cmi java/java_options.cmo \
    java/java_env.cmi java/java_callgraph.cmi
java/java_callgraph.cmx : src/pp.cmx src/option_misc.cmx \
    java/java_typing.cmx java/java_tast.cmi java/java_options.cmx \
    java/java_env.cmi java/java_callgraph.cmi
java/java_interp.cmo : jc/output.cmi src/option_misc.cmi src/loc.cmi \
    jc/jc_pervasives.cmi jc/jc_output.cmo jc/jc_fenv.cmo jc/jc_env.cmi \
    jc/jc_constructors.cmi jc/jc_ast.cmi java/java_typing.cmi \
    java/java_tast.cmi java/java_pervasives.cmo java/java_options.cmo \
    java/java_env.cmi java/java_ast.cmi java/java_analysis.cmo
java/java_interp.cmx : jc/output.cmx src/option_misc.cmx src/loc.cmx \
    jc/jc_pervasives.cmx jc/jc_output.cmx jc/jc_fenv.cmx jc/jc_env.cmi \
    jc/jc_constructors.cmx jc/jc_ast.cmi java/java_typing.cmx \
    java/java_tast.cmi java/java_pervasives.cmx java/java_options.cmx \
    java/java_env.cmi java/java_ast.cmi java/java_analysis.cmx
java/java_lexer.cmo : jc/jc_env.cmi java/java_pervasives.cmo \
    java/java_parser.cmi java/java_options.cmo java/java_env.cmi \
    java/java_ast.cmi
java/java_lexer.cmx : jc/jc_env.cmi java/java_pervasives.cmx \
    java/java_parser.cmx java/java_options.cmx java/java_env.cmi \
    java/java_ast.cmi
java/java_main.cmo : src/pp.cmi jc/output.cmi src/option_misc.cmi \
    src/loc.cmi jc/jc_poutput.cmo jc/jc_constructors.cmi java/java_typing.cmi \
    java/java_syntax.cmo java/java_options.cmo java/java_interp.cmo \
    java/java_env.cmi java/java_callgraph.cmi java/java_ast.cmi \
    java/java_analysis.cmo java/java_abstract.cmo
java/java_main.cmx : src/pp.cmx jc/output.cmx src/option_misc.cmx \
    src/loc.cmx jc/jc_poutput.cmx jc/jc_constructors.cmx java/java_typing.cmx \
    java/java_syntax.cmx java/java_options.cmx java/java_interp.cmx \
    java/java_env.cmi java/java_callgraph.cmx java/java_ast.cmi \
    java/java_analysis.cmx java/java_abstract.cmx
java/java_options.cmo : src/version.cmo src/loc.cmi jc/jc_env.cmi \
    java/java_env.cmi
java/java_options.cmx : src/version.cmx src/loc.cmx jc/jc_env.cmi \
    java/java_env.cmi
java/java_parser.cmo : src/loc.cmi java/java_pervasives.cmo \
    java/java_options.cmo java/java_env.cmi java/java_ast.cmi \
    java/java_parser.cmi
java/java_parser.cmx : src/loc.cmx java/java_pervasives.cmx \
    java/java_options.cmx java/java_env.cmi java/java_ast.cmi \
    java/java_parser.cmi
java/java_pervasives.cmo : src/loc.cmi java/java_tast.cmi java/java_env.cmi \
    java/java_ast.cmi
java/java_pervasives.cmx : src/loc.cmx java/java_tast.cmi java/java_env.cmi \
    java/java_ast.cmi
java/java_syntax.cmo : src/option_misc.cmi src/loc.cmi \
    java/java_pervasives.cmo java/java_parser.cmi java/java_options.cmo \
    java/java_lexer.cmo java/java_ast.cmi
java/java_syntax.cmx : src/option_misc.cmx src/loc.cmx \
    java/java_pervasives.cmx java/java_parser.cmx java/java_options.cmx \
    java/java_lexer.cmx java/java_ast.cmi
java/java_typing.cmo : src/pp.cmi src/option_misc.cmi jc/numconst.cmi \
    src/loc.cmi java/java_tast.cmi java/java_syntax.cmo \
    java/java_pervasives.cmo java/java_options.cmo java/java_env.cmi \
    java/java_ast.cmi java/java_typing.cmi
java/java_typing.cmx : src/pp.cmx src/option_misc.cmx jc/numconst.cmx \
    src/loc.cmx java/java_tast.cmi java/java_syntax.cmx \
    java/java_pervasives.cmx java/java_options.cmx java/java_env.cmi \
    java/java_ast.cmi java/java_typing.cmi
intf/astnprinter.cmo : src/util.cmi intf/tools.cmo intf/tags.cmo \
    src/print_real.cmo src/pp.cmi src/misc.cmi src/logic.cmi src/ident.cmi \
    src/cc.cmi intf/astprinter.cmo
intf/astnprinter.cmx : src/util.cmx intf/tools.cmx intf/tags.cmx \
    src/print_real.cmx src/pp.cmx src/misc.cmx src/logic.cmi src/ident.cmx \
    src/cc.cmi intf/astprinter.cmx
intf/astpprinter.cmo : intf/tools.cmo intf/tags.cmo src/print_real.cmo \
    src/pp.cmi src/misc.cmi src/logic.cmi src/ident.cmi src/cc.cmi \
    intf/astprinter.cmo
intf/astpprinter.cmx : intf/tools.cmx intf/tags.cmx src/print_real.cmx \
    src/pp.cmx src/misc.cmx src/logic.cmi src/ident.cmx src/cc.cmi \
    intf/astprinter.cmx
intf/astprinter.cmo : intf/tags.cmo src/pp.cmi src/misc.cmi src/logic.cmi \
    src/ident.cmi src/coq.cmi src/cc.cmi
intf/astprinter.cmx : intf/tags.cmx src/pp.cmx src/misc.cmx src/logic.cmi \
    src/ident.cmx src/coq.cmx src/cc.cmi
intf/cache.cmo : src/options.cmi src/logic.cmi src/env.cmi src/cc.cmi
intf/cache.cmx : src/options.cmx src/logic.cmi src/env.cmx src/cc.cmi
intf/colors.cmo : intf/colors.cmi
intf/colors.cmx : intf/colors.cmi
intf/config.cmo : intf/tools.cmo src/rc.cmi intf/model.cmi intf/colors.cmi \
    intf/cache.cmo
intf/config.cmx : intf/tools.cmx src/rc.cmx intf/model.cmx intf/colors.cmx \
    intf/cache.cmx
intf/gConfig.cmo : intf/tools.cmo src/rc.cmi intf/model.cmi \
    tools/dpConfig.cmi intf/colors.cmi intf/gConfig.cmi
intf/gConfig.cmx : intf/tools.cmx src/rc.cmx intf/model.cmx \
    tools/dpConfig.cmx intf/colors.cmx intf/gConfig.cmi
intf/hilight.cmo : intf/tags.cmo intf/colors.cmi
intf/hilight.cmx : intf/tags.cmx intf/colors.cmx
intf/model.cmo : src/util.cmi intf/tools.cmo src/options.cmi \
    src/logic_decl.cmi src/explain.cmi tools/dpConfig.cmi src/dispatcher.cmi \
    intf/model.cmi
intf/model.cmx : src/util.cmx intf/tools.cmx src/options.cmx \
    src/logic_decl.cmi src/explain.cmx tools/dpConfig.cmx src/dispatcher.cmx \
    intf/model.cmi
intf/navig.cmo : intf/navig.cmi
intf/navig.cmx : intf/navig.cmi
intf/pprinter.cmo : intf/whyhilight.cmo src/version.cmo src/vcg.cmi \
    intf/tools.cmo intf/tagsplit.cmo intf/tags.cmo src/options.cmi \
    src/misc.cmi src/logic.cmi src/loc.cmi src/ident.cmi intf/hilight.cmo \
    src/env.cmi intf/colors.cmi src/cc.cmi intf/astprinter.cmo \
    intf/astpprinter.cmo intf/astnprinter.cmo intf/pprinter.cmi
intf/pprinter.cmx : intf/whyhilight.cmx src/version.cmx src/vcg.cmx \
    intf/tools.cmx intf/tagsplit.cmx intf/tags.cmx src/options.cmx \
    src/misc.cmx src/logic.cmi src/loc.cmx src/ident.cmx intf/hilight.cmx \
    src/env.cmx intf/colors.cmx src/cc.cmi intf/astprinter.cmx \
    intf/astpprinter.cmx intf/astnprinter.cmx intf/pprinter.cmi
intf/preferences.cmo : intf/tools.cmo intf/colors.cmi
intf/preferences.cmx : intf/tools.cmx intf/colors.cmx
intf/stat.cmo : src/util.cmi intf/tools.cmo intf/tags.cmo src/report.cmi \
    intf/pprinter.cmi src/options.cmi intf/model.cmi src/main.cmo \
    src/logic_decl.cmi intf/gConfig.cmi src/explain.cmi src/env.cmi \
    tools/dpConfig.cmi src/dispatcher.cmi intf/colors.cmi tools/calldp.cmi \
    intf/cache.cmo src/ast.cmi
intf/stat.cmx : src/util.cmx intf/tools.cmx intf/tags.cmx src/report.cmx \
    intf/pprinter.cmx src/options.cmx intf/model.cmx src/main.cmx \
    src/logic_decl.cmi intf/gConfig.cmx src/explain.cmx src/env.cmx \
    tools/dpConfig.cmx src/dispatcher.cmx intf/colors.cmx tools/calldp.cmx \
    intf/cache.cmx src/ast.cmi
intf/tags.cmo : intf/colors.cmi
intf/tags.cmx : intf/colors.cmx
intf/tagsplit.cmo : intf/tags.cmo intf/colors.cmi
intf/tagsplit.cmx : intf/tags.cmx intf/colors.cmx
intf/tools.cmo : intf/tags.cmo src/options.cmi intf/colors.cmi
intf/tools.cmx : intf/tags.cmx src/options.cmx intf/colors.cmx
intf/viewer.cmo : src/util.cmi intf/tags.cmo src/report.cmi src/options.cmi \
    intf/navig.cmi src/main.cmo src/log.cmi src/loc.cmi intf/hilight.cmo \
    src/env.cmi src/ast.cmi
intf/viewer.cmx : src/util.cmx intf/tags.cmx src/report.cmx src/options.cmx \
    intf/navig.cmx src/main.cmx src/log.cmi src/loc.cmx intf/hilight.cmx \
    src/env.cmx src/ast.cmi
intf/whyhilight.cmo : intf/tags.cmo intf/colors.cmi
intf/whyhilight.cmx : intf/tags.cmx intf/colors.cmx
intf/colors.cmi :
intf/gConfig.cmi :
intf/model.cmi : src/options.cmi src/logic_decl.cmi src/loc.cmi src/env.cmi \
    tools/dpConfig.cmi src/cc.cmi
intf/navig.cmi :
intf/pprinter.cmi : intf/tags.cmo src/logic_decl.cmi src/logic.cmi \
    src/env.cmi src/cc.cmi
tools/calldp.cmi : tools/dpConfig.cmi
tools/cvcl_split.cmi :
tools/dpConfig.cmi :
tools/ergo_split.cmi :
tools/simplify_ast.cmi :
tools/simplify_parser.cmi : tools/simplify_ast.cmi
tools/simplify_split.cmi :
tools/toolstat_pars.cmi : tools/toolstat_types.cmi
tools/toolstat_types.cmi :
tools/zenon_split.cmi :
tools/cadlog.cmo : src/version.cmo c/cversion.cmo
tools/cadlog.cmx : src/version.cmx c/cversion.cmx
tools/calldp.cmo : src/lib.cmi tools/dpConfig.cmi tools/calldp.cmi
tools/calldp.cmx : src/lib.cmx tools/dpConfig.cmx tools/calldp.cmi
tools/cvcl_split.cmo : tools/cvcl_split.cmi
tools/cvcl_split.cmx : tools/cvcl_split.cmi
tools/dp.cmo : tools/zenon_split.cmi tools/smtlib_split.cmo \
    tools/simplify_split.cmi tools/rv_split.cmo src/lib.cmi \
    tools/ergo_split.cmi tools/dpConfig.cmi tools/cvcl_split.cmi \
    tools/calldp.cmi
tools/dp.cmx : tools/zenon_split.cmx tools/smtlib_split.cmx \
    tools/simplify_split.cmx tools/rv_split.cmx src/lib.cmx \
    tools/ergo_split.cmx tools/dpConfig.cmx tools/cvcl_split.cmx \
    tools/calldp.cmx
tools/dpConfig.cmo : src/rc.cmi tools/dpConfig.cmi
tools/dpConfig.cmx : src/rc.cmx tools/dpConfig.cmi
tools/ergo_split.cmo : tools/ergo_split.cmi
tools/ergo_split.cmx : tools/ergo_split.cmi
tools/make_float_model.cmo :
tools/make_float_model.cmx :
tools/obfuscator.cmo : src/types.cmi src/ptree.cmi src/print_real.cmo \
    src/pp.cmi src/logic.cmi src/loc.cmi src/lexer.cmi src/ident.cmi
tools/obfuscator.cmx : src/types.cmi src/ptree.cmi src/print_real.cmx \
    src/pp.cmx src/logic.cmi src/loc.cmx src/lexer.cmx src/ident.cmx
tools/regtest.cmo :
tools/regtest.cmx :
tools/rv_merge.cmo :
tools/rv_merge.cmx :
tools/rv_split.cmo : src/lib.cmi
tools/rv_split.cmx : src/lib.cmx
tools/simplify_lexer.cmo : tools/simplify_parser.cmi tools/simplify_ast.cmi
tools/simplify_lexer.cmx : tools/simplify_parser.cmx tools/simplify_ast.cmi
tools/simplify_parser.cmo : tools/simplify_ast.cmi tools/simplify_parser.cmi
tools/simplify_parser.cmx : tools/simplify_ast.cmi tools/simplify_parser.cmi
tools/simplify_split.cmo : src/lib.cmi tools/simplify_split.cmi
tools/simplify_split.cmx : src/lib.cmx tools/simplify_split.cmi
tools/simplify_towhy.cmo : tools/simplify_parser.cmi \
    tools/simplify_lexer.cmo tools/simplify_ast.cmi src/pp.cmi
tools/simplify_towhy.cmx : tools/simplify_parser.cmx \
    tools/simplify_lexer.cmx tools/simplify_ast.cmi src/pp.cmx
tools/smtlib_split.cmo :
tools/smtlib_split.cmx :
tools/toolstat.cmo : tools/toolstat_types.cmi tools/toolstat_lex.cmo \
    src/loc.cmi
tools/toolstat.cmx : tools/toolstat_types.cmi tools/toolstat_lex.cmx \
    src/loc.cmx
tools/toolstat_lex.cmo : tools/toolstat_pars.cmi src/pp.cmi src/loc.cmi
tools/toolstat_lex.cmx : tools/toolstat_pars.cmx src/pp.cmx src/loc.cmx
tools/toolstat_pars.cmo : tools/toolstat_types.cmi tools/toolstat_pars.cmi
tools/toolstat_pars.cmx : tools/toolstat_types.cmi tools/toolstat_pars.cmi
tools/why2html.cmo :
tools/why2html.cmx :
tools/whyConfig.cmo : tools/dpConfig.cmi
tools/whyConfig.cmx : tools/dpConfig.cmx
tools/whystat.cmo : src/ptree.cmi src/pp.cmi src/logic.cmi src/loc.cmi \
    src/lexer.cmi src/ident.cmi
tools/whystat.cmx : src/ptree.cmi src/pp.cmx src/logic.cmi src/loc.cmx \
    src/lexer.cmx src/ident.cmx
tools/zenon_split.cmo : src/lib.cmi tools/zenon_split.cmi
tools/zenon_split.cmx : src/lib.cmx tools/zenon_split.cmi
mix/mix_ast.cmi :
mix/mix_cfg.cmi :
mix/mix_parser.cmi : mix/mix_ast.cmi
mix/mix_cfg.cmo : mix/mix_cfg.cmi
mix/mix_cfg.cmx : mix/mix_cfg.cmi
mix/mix_interp.cmo : src/pp.cmi mix/mix_seq.cmo mix/mix_ast.cmi
mix/mix_interp.cmx : src/pp.cmx mix/mix_seq.cmx mix/mix_ast.cmi
mix/mix_lexer.cmo : mix/mix_parser.cmi mix/mix_ast.cmi
mix/mix_lexer.cmx : mix/mix_parser.cmx mix/mix_ast.cmi
mix/mix_main.cmo : src/pp.cmi mix/mix_seq.cmo mix/mix_parser.cmi \
    mix/mix_lexer.cmo mix/mix_interp.cmo mix/mix_ast.cmi
mix/mix_main.cmx : src/pp.cmx mix/mix_seq.cmx mix/mix_parser.cmx \
    mix/mix_lexer.cmx mix/mix_interp.cmx mix/mix_ast.cmi
mix/mix_parser.cmo : mix/mix_ast.cmi mix/mix_parser.cmi
mix/mix_parser.cmx : mix/mix_ast.cmi mix/mix_parser.cmi
mix/mix_seq.cmo : mix/mix_cfg.cmi mix/mix_ast.cmi
mix/mix_seq.cmx : mix/mix_cfg.cmx mix/mix_ast.cmi
mix/test.cmo :
mix/test.cmx :
ml/ml_constant.cmo : ml/ml_misc.cmo jc/jc_env.cmi jc/jc_ast.cmi
ml/ml_constant.cmx : ml/ml_misc.cmx jc/jc_env.cmi jc/jc_ast.cmi
ml/ml_env.cmo : ml/ml_misc.cmo jc/jc_pervasives.cmi jc/jc_fenv.cmo \
    jc/jc_env.cmi ml/ml_env.cmi
ml/ml_env.cmx : ml/ml_misc.cmx jc/jc_pervasives.cmx jc/jc_fenv.cmx \
    jc/jc_env.cmi ml/ml_env.cmi
ml/ml_interp.cmo : ml/ml_type.cmi ml/ml_pattern.cmi ml/ml_misc.cmo \
    ml/ml_env.cmi ml/ml_constant.cmo src/loc.cmi jc/jc_pervasives.cmi \
    jc/jc_output.cmo jc/jc_fenv.cmo jc/jc_env.cmi jc/jc_ast.cmi
ml/ml_interp.cmx : ml/ml_type.cmx ml/ml_pattern.cmx ml/ml_misc.cmx \
    ml/ml_env.cmx ml/ml_constant.cmx src/loc.cmx jc/jc_pervasives.cmx \
    jc/jc_output.cmx jc/jc_fenv.cmx jc/jc_env.cmi jc/jc_ast.cmi
ml/ml_main.cmo : ml/ml_type.cmi ml/ml_pervasives.cmo ml/ml_options.cmi \
    ml/ml_misc.cmo ml/ml_interp.cmo jc/jc_output.cmo
ml/ml_main.cmx : ml/ml_type.cmx ml/ml_pervasives.cmx ml/ml_options.cmx \
    ml/ml_misc.cmx ml/ml_interp.cmx jc/jc_output.cmx
ml/ml_misc.cmo : src/loc.cmi jc/jc_region.cmo jc/jc_pervasives.cmi \
    jc/jc_output.cmo jc/jc_fenv.cmo jc/jc_env.cmi jc/jc_ast.cmi
ml/ml_misc.cmx : src/loc.cmx jc/jc_region.cmx jc/jc_pervasives.cmx \
    jc/jc_output.cmx jc/jc_fenv.cmx jc/jc_env.cmi jc/jc_ast.cmi
ml/ml_options.cmo : ml/ml_options.cmi
ml/ml_options.cmx : ml/ml_options.cmi
ml/ml_pattern.cmo : ml/ml_type.cmi ml/ml_misc.cmo ml/ml_env.cmi \
    ml/ml_constant.cmo src/loc.cmi jc/jc_env.cmi jc/jc_ast.cmi \
    ml/ml_pattern.cmi
ml/ml_pattern.cmx : ml/ml_type.cmx ml/ml_misc.cmx ml/ml_env.cmx \
    ml/ml_constant.cmx src/loc.cmx jc/jc_env.cmi jc/jc_ast.cmi \
    ml/ml_pattern.cmi
ml/ml_pervasives.cmo : ml/ml_env.cmi src/env.cmi
ml/ml_pervasives.cmx : ml/ml_env.cmx src/env.cmx
ml/ml_type.cmo : ml/ml_misc.cmo jc/jc_output.cmo jc/jc_fenv.cmo \
    jc/jc_env.cmi jc/jc_ast.cmi ml/ml_type.cmi
ml/ml_type.cmx : ml/ml_misc.cmx jc/jc_output.cmx jc/jc_fenv.cmx \
    jc/jc_env.cmi jc/jc_ast.cmi ml/ml_type.cmi
ml/ml_env.cmi : jc/jc_fenv.cmo jc/jc_env.cmi
ml/ml_options.cmi :
ml/ml_pattern.cmi : ml/ml_env.cmi jc/jc_env.cmi jc/jc_ast.cmi
ml/ml_type.cmi : jc/jc_output.cmo jc/jc_fenv.cmo jc/jc_env.cmi jc/jc_ast.cmi
ml/parsing/lexer.cmo : ml/utils/warnings.cmi ml/parsing/parser.cmi \
    ml/utils/misc.cmi ml/parsing/location.cmi ml/parsing/lexer.cmi
ml/parsing/lexer.cmx : ml/utils/warnings.cmx ml/parsing/parser.cmx \
    ml/utils/misc.cmx ml/parsing/location.cmx ml/parsing/lexer.cmi
ml/parsing/linenum.cmo : ml/utils/misc.cmi ml/parsing/linenum.cmi
ml/parsing/linenum.cmx : ml/utils/misc.cmx ml/parsing/linenum.cmi
ml/parsing/location.cmo : ml/utils/warnings.cmi ml/utils/terminfo.cmi \
    ml/parsing/linenum.cmi ml/parsing/location.cmi
ml/parsing/location.cmx : ml/utils/warnings.cmx ml/utils/terminfo.cmx \
    ml/parsing/linenum.cmx ml/parsing/location.cmi
ml/parsing/longident.cmo : ml/utils/misc.cmi ml/parsing/longident.cmi
ml/parsing/longident.cmx : ml/utils/misc.cmx ml/parsing/longident.cmi
ml/parsing/parser.cmo : ml/parsing/syntaxerr.cmi ml/parsing/parsetree.cmi \
    ml/parsing/longident.cmi ml/parsing/location.cmi ml/parsing/asttypes.cmi \
    ml/parsing/parser.cmi
ml/parsing/parser.cmx : ml/parsing/syntaxerr.cmx ml/parsing/parsetree.cmi \
    ml/parsing/longident.cmx ml/parsing/location.cmx ml/parsing/asttypes.cmi \
    ml/parsing/parser.cmi
ml/parsing/syntaxerr.cmo : ml/parsing/location.cmi ml/parsing/syntaxerr.cmi
ml/parsing/syntaxerr.cmx : ml/parsing/location.cmx ml/parsing/syntaxerr.cmi
ml/parsing/asttypes.cmi :
ml/parsing/lexer.cmi : ml/parsing/parser.cmi ml/parsing/location.cmi
ml/parsing/linenum.cmi :
ml/parsing/location.cmi : ml/utils/warnings.cmi
ml/parsing/longident.cmi :
ml/parsing/parser.cmi : ml/parsing/parsetree.cmi
ml/parsing/parsetree.cmi : ml/parsing/longident.cmi ml/parsing/location.cmi \
    ml/parsing/asttypes.cmi
ml/parsing/syntaxerr.cmi : ml/parsing/location.cmi
ml/typing/btype.cmo : ml/typing/types.cmi ml/typing/path.cmi \
    ml/utils/misc.cmi ml/typing/btype.cmi
ml/typing/btype.cmx : ml/typing/types.cmx ml/typing/path.cmx \
    ml/utils/misc.cmx ml/typing/btype.cmi
ml/typing/ctype.cmo : ml/typing/types.cmi ml/typing/subst.cmi \
    ml/typing/path.cmi ml/utils/misc.cmi ml/parsing/longident.cmi \
    ml/typing/ident.cmi ml/typing/env.cmi ml/utils/clflags.cmi \
    ml/typing/btype.cmi ml/parsing/asttypes.cmi ml/typing/ctype.cmi
ml/typing/ctype.cmx : ml/typing/types.cmx ml/typing/subst.cmx \
    ml/typing/path.cmx ml/utils/misc.cmx ml/parsing/longident.cmx \
    ml/typing/ident.cmx ml/typing/env.cmx ml/utils/clflags.cmx \
    ml/typing/btype.cmx ml/parsing/asttypes.cmi ml/typing/ctype.cmi
ml/typing/datarepr.cmo : ml/typing/types.cmi ml/typing/predef.cmi \
    ml/typing/path.cmi ml/utils/misc.cmi ml/parsing/asttypes.cmi \
    ml/typing/datarepr.cmi
ml/typing/datarepr.cmx : ml/typing/types.cmx ml/typing/predef.cmx \
    ml/typing/path.cmx ml/utils/misc.cmx ml/parsing/asttypes.cmi \
    ml/typing/datarepr.cmi
ml/typing/env.cmo : ml/typing/types.cmi ml/utils/tbl.cmi ml/typing/subst.cmi \
    ml/typing/predef.cmi ml/typing/path.cmi ml/utils/misc.cmi \
    ml/parsing/longident.cmi ml/typing/ident.cmi ml/typing/datarepr.cmi \
    ml/utils/consistbl.cmi ml/utils/config.cmi ml/utils/clflags.cmi \
    ml/typing/btype.cmi ml/parsing/asttypes.cmi ml/typing/env.cmi
ml/typing/env.cmx : ml/typing/types.cmx ml/utils/tbl.cmx ml/typing/subst.cmx \
    ml/typing/predef.cmx ml/typing/path.cmx ml/utils/misc.cmx \
    ml/parsing/longident.cmx ml/typing/ident.cmx ml/typing/datarepr.cmx \
    ml/utils/consistbl.cmx ml/utils/config.cmx ml/utils/clflags.cmx \
    ml/typing/btype.cmx ml/parsing/asttypes.cmi ml/typing/env.cmi
ml/typing/ident.cmo : ml/typing/ident.cmi
ml/typing/ident.cmx : ml/typing/ident.cmi
ml/typing/includeclass.cmo : ml/typing/types.cmi ml/typing/printtyp.cmi \
    ml/typing/ctype.cmi ml/typing/includeclass.cmi
ml/typing/includeclass.cmx : ml/typing/types.cmx ml/typing/printtyp.cmx \
    ml/typing/ctype.cmx ml/typing/includeclass.cmi
ml/typing/includecore.cmo : ml/typing/types.cmi ml/typing/typedtree.cmi \
    ml/typing/predef.cmi ml/typing/path.cmi ml/utils/misc.cmi \
    ml/typing/ctype.cmi ml/typing/btype.cmi ml/parsing/asttypes.cmi \
    ml/typing/includecore.cmi
ml/typing/includecore.cmx : ml/typing/types.cmx ml/typing/typedtree.cmx \
    ml/typing/predef.cmx ml/typing/path.cmx ml/utils/misc.cmx \
    ml/typing/ctype.cmx ml/typing/btype.cmx ml/parsing/asttypes.cmi \
    ml/typing/includecore.cmi
ml/typing/includemod.cmo : ml/typing/types.cmi ml/typing/typedtree.cmi \
    ml/utils/tbl.cmi ml/typing/subst.cmi ml/typing/printtyp.cmi \
    ml/typing/path.cmi ml/typing/mtype.cmi ml/utils/misc.cmi \
    ml/typing/includecore.cmi ml/typing/includeclass.cmi ml/typing/ident.cmi \
    ml/typing/env.cmi ml/typing/ctype.cmi ml/typing/includemod.cmi
ml/typing/includemod.cmx : ml/typing/types.cmx ml/typing/typedtree.cmx \
    ml/utils/tbl.cmx ml/typing/subst.cmx ml/typing/printtyp.cmx \
    ml/typing/path.cmx ml/typing/mtype.cmx ml/utils/misc.cmx \
    ml/typing/includecore.cmx ml/typing/includeclass.cmx ml/typing/ident.cmx \
    ml/typing/env.cmx ml/typing/ctype.cmx ml/typing/includemod.cmi
ml/typing/mtype.cmo : ml/typing/types.cmi ml/typing/subst.cmi \
    ml/typing/path.cmi ml/typing/ident.cmi ml/typing/env.cmi \
    ml/typing/ctype.cmi ml/typing/btype.cmi ml/typing/mtype.cmi
ml/typing/mtype.cmx : ml/typing/types.cmx ml/typing/subst.cmx \
    ml/typing/path.cmx ml/typing/ident.cmx ml/typing/env.cmx \
    ml/typing/ctype.cmx ml/typing/btype.cmx ml/typing/mtype.cmi
ml/typing/oprint.cmo : ml/typing/outcometree2.cmi ml/parsing/asttypes.cmi \
    ml/typing/oprint.cmi
ml/typing/oprint.cmx : ml/typing/outcometree2.cmi ml/parsing/asttypes.cmi \
    ml/typing/oprint.cmi
ml/typing/parmatch.cmo : ml/utils/warnings.cmi ml/typing/types.cmi \
    ml/typing/typedtree.cmi ml/typing/predef.cmi ml/typing/path.cmi \
    ml/utils/misc.cmi ml/parsing/location.cmi ml/typing/ident.cmi \
    ml/typing/env.cmi ml/typing/datarepr.cmi ml/typing/ctype.cmi \
    ml/typing/btype.cmi ml/parsing/asttypes.cmi ml/typing/parmatch.cmi
ml/typing/parmatch.cmx : ml/utils/warnings.cmx ml/typing/types.cmx \
    ml/typing/typedtree.cmx ml/typing/predef.cmx ml/typing/path.cmx \
    ml/utils/misc.cmx ml/parsing/location.cmx ml/typing/ident.cmx \
    ml/typing/env.cmx ml/typing/datarepr.cmx ml/typing/ctype.cmx \
    ml/typing/btype.cmx ml/parsing/asttypes.cmi ml/typing/parmatch.cmi
ml/typing/path.cmo : ml/typing/ident.cmi ml/typing/path.cmi
ml/typing/path.cmx : ml/typing/ident.cmx ml/typing/path.cmi
ml/typing/predef.cmo : ml/typing/types.cmi ml/typing/path.cmi \
    ml/typing/ident.cmi ml/typing/btype.cmi ml/parsing/asttypes.cmi \
    ml/typing/predef.cmi
ml/typing/predef.cmx : ml/typing/types.cmx ml/typing/path.cmx \
    ml/typing/ident.cmx ml/typing/btype.cmx ml/parsing/asttypes.cmi \
    ml/typing/predef.cmi
ml/typing/primitive.cmo : ml/utils/misc.cmi ml/typing/primitive.cmi
ml/typing/primitive.cmx : ml/utils/misc.cmx ml/typing/primitive.cmi
ml/typing/printtyp.cmo : ml/typing/types.cmi ml/typing/primitive.cmi \
    ml/typing/predef.cmi ml/typing/path.cmi ml/typing/outcometree2.cmi \
    ml/typing/oprint.cmi ml/utils/misc.cmi ml/parsing/longident.cmi \
    ml/typing/ident.cmi ml/typing/env.cmi ml/typing/ctype.cmi \
    ml/utils/clflags.cmi ml/typing/btype.cmi ml/parsing/asttypes.cmi \
    ml/typing/printtyp.cmi
ml/typing/printtyp.cmx : ml/typing/types.cmx ml/typing/primitive.cmx \
    ml/typing/predef.cmx ml/typing/path.cmx ml/typing/outcometree2.cmi \
    ml/typing/oprint.cmx ml/utils/misc.cmx ml/parsing/longident.cmx \
    ml/typing/ident.cmx ml/typing/env.cmx ml/typing/ctype.cmx \
    ml/utils/clflags.cmx ml/typing/btype.cmx ml/parsing/asttypes.cmi \
    ml/typing/printtyp.cmi
ml/typing/stypes.cmo : ml/typing/typedtree.cmi ml/typing/printtyp.cmi \
    ml/parsing/location.cmi ml/utils/clflags.cmi ml/typing/stypes.cmi
ml/typing/stypes.cmx : ml/typing/typedtree.cmx ml/typing/printtyp.cmx \
    ml/parsing/location.cmx ml/utils/clflags.cmx ml/typing/stypes.cmi
ml/typing/subst.cmo : ml/typing/types.cmi ml/utils/tbl.cmi \
    ml/typing/path.cmi ml/utils/misc.cmi ml/typing/ident.cmi \
    ml/typing/btype.cmi ml/typing/subst.cmi
ml/typing/subst.cmx : ml/typing/types.cmx ml/utils/tbl.cmx \
    ml/typing/path.cmx ml/utils/misc.cmx ml/typing/ident.cmx \
    ml/typing/btype.cmx ml/typing/subst.cmi
ml/typing/typeclass.cmo : ml/utils/warnings.cmi ml/typing/typetexp.cmi \
    ml/typing/types.cmi ml/typing/typedtree.cmi ml/typing/typedecl.cmi \
    ml/typing/typecore.cmi ml/typing/subst.cmi ml/typing/stypes.cmi \
    ml/typing/printtyp.cmi ml/typing/predef.cmi ml/typing/path.cmi \
    ml/parsing/parsetree.cmi ml/typing/parmatch.cmi ml/utils/misc.cmi \
    ml/parsing/longident.cmi ml/parsing/location.cmi \
    ml/typing/includeclass.cmi ml/typing/ident.cmi ml/typing/env.cmi \
    ml/typing/ctype.cmi ml/utils/clflags.cmi ml/typing/btype.cmi \
    ml/parsing/asttypes.cmi ml/typing/typeclass.cmi
ml/typing/typeclass.cmx : ml/utils/warnings.cmx ml/typing/typetexp.cmx \
    ml/typing/types.cmx ml/typing/typedtree.cmx ml/typing/typedecl.cmx \
    ml/typing/typecore.cmx ml/typing/subst.cmx ml/typing/stypes.cmx \
    ml/typing/printtyp.cmx ml/typing/predef.cmx ml/typing/path.cmx \
    ml/parsing/parsetree.cmi ml/typing/parmatch.cmx ml/utils/misc.cmx \
    ml/parsing/longident.cmx ml/parsing/location.cmx \
    ml/typing/includeclass.cmx ml/typing/ident.cmx ml/typing/env.cmx \
    ml/typing/ctype.cmx ml/utils/clflags.cmx ml/typing/btype.cmx \
    ml/parsing/asttypes.cmi ml/typing/typeclass.cmi
ml/typing/typecore.cmo : ml/utils/warnings.cmi ml/typing/typetexp.cmi \
    ml/typing/types.cmi ml/typing/typedtree.cmi ml/typing/stypes.cmi \
    ml/typing/printtyp.cmi ml/typing/primitive.cmi ml/typing/predef.cmi \
    ml/typing/path.cmi ml/parsing/parsetree.cmi ml/typing/parmatch.cmi \
    ml/utils/misc.cmi ml/parsing/longident.cmi ml/parsing/location.cmi \
    ml/typing/ident.cmi ml/typing/env.cmi ml/typing/ctype.cmi \
    ml/utils/clflags.cmi ml/typing/btype.cmi ml/parsing/asttypes.cmi \
    ml/typing/typecore.cmi
ml/typing/typecore.cmx : ml/utils/warnings.cmx ml/typing/typetexp.cmx \
    ml/typing/types.cmx ml/typing/typedtree.cmx ml/typing/stypes.cmx \
    ml/typing/printtyp.cmx ml/typing/primitive.cmx ml/typing/predef.cmx \
    ml/typing/path.cmx ml/parsing/parsetree.cmi ml/typing/parmatch.cmx \
    ml/utils/misc.cmx ml/parsing/longident.cmx ml/parsing/location.cmx \
    ml/typing/ident.cmx ml/typing/env.cmx ml/typing/ctype.cmx \
    ml/utils/clflags.cmx ml/typing/btype.cmx ml/parsing/asttypes.cmi \
    ml/typing/typecore.cmi
ml/typing/typedecl.cmo : ml/typing/typetexp.cmi ml/typing/types.cmi \
    ml/typing/typedtree.cmi ml/typing/subst.cmi ml/typing/printtyp.cmi \
    ml/typing/primitive.cmi ml/typing/predef.cmi ml/typing/path.cmi \
    ml/parsing/parsetree.cmi ml/utils/misc.cmi ml/parsing/longident.cmi \
    ml/parsing/location.cmi ml/typing/includecore.cmi ml/typing/ident.cmi \
    ml/typing/env.cmi ml/typing/ctype.cmi ml/utils/config.cmi \
    ml/utils/clflags.cmi ml/typing/btype.cmi ml/parsing/asttypes.cmi \
    ml/typing/typedecl.cmi
ml/typing/typedecl.cmx : ml/typing/typetexp.cmx ml/typing/types.cmx \
    ml/typing/typedtree.cmx ml/typing/subst.cmx ml/typing/printtyp.cmx \
    ml/typing/primitive.cmx ml/typing/predef.cmx ml/typing/path.cmx \
    ml/parsing/parsetree.cmi ml/utils/misc.cmx ml/parsing/longident.cmx \
    ml/parsing/location.cmx ml/typing/includecore.cmx ml/typing/ident.cmx \
    ml/typing/env.cmx ml/typing/ctype.cmx ml/utils/config.cmx \
    ml/utils/clflags.cmx ml/typing/btype.cmx ml/parsing/asttypes.cmi \
    ml/typing/typedecl.cmi
ml/typing/typedtree.cmo : ml/typing/types.cmi ml/typing/primitive.cmi \
    ml/typing/path.cmi ml/utils/misc.cmi ml/parsing/location.cmi \
    ml/typing/ident.cmi ml/typing/env.cmi ml/parsing/asttypes.cmi \
    ml/typing/typedtree.cmi
ml/typing/typedtree.cmx : ml/typing/types.cmx ml/typing/primitive.cmx \
    ml/typing/path.cmx ml/utils/misc.cmx ml/parsing/location.cmx \
    ml/typing/ident.cmx ml/typing/env.cmx ml/parsing/asttypes.cmi \
    ml/typing/typedtree.cmi
ml/typing/typemod.cmo : ml/typing/typetexp.cmi ml/typing/types.cmi \
    ml/typing/typedtree.cmi ml/typing/typedecl.cmi ml/typing/typecore.cmi \
    ml/typing/typeclass.cmi ml/typing/subst.cmi ml/typing/stypes.cmi \
    ml/typing/printtyp.cmi ml/typing/path.cmi ml/parsing/parsetree.cmi \
    ml/typing/mtype.cmi ml/utils/misc.cmi ml/parsing/longident.cmi \
    ml/parsing/location.cmi ml/typing/includemod.cmi ml/typing/ident.cmi \
    ml/typing/env.cmi ml/typing/ctype.cmi ml/utils/config.cmi \
    ml/utils/clflags.cmi ml/typing/btype.cmi ml/parsing/asttypes.cmi \
    ml/typing/typemod.cmi
ml/typing/typemod.cmx : ml/typing/typetexp.cmx ml/typing/types.cmx \
    ml/typing/typedtree.cmx ml/typing/typedecl.cmx ml/typing/typecore.cmx \
    ml/typing/typeclass.cmx ml/typing/subst.cmx ml/typing/stypes.cmx \
    ml/typing/printtyp.cmx ml/typing/path.cmx ml/parsing/parsetree.cmi \
    ml/typing/mtype.cmx ml/utils/misc.cmx ml/parsing/longident.cmx \
    ml/parsing/location.cmx ml/typing/includemod.cmx ml/typing/ident.cmx \
    ml/typing/env.cmx ml/typing/ctype.cmx ml/utils/config.cmx \
    ml/utils/clflags.cmx ml/typing/btype.cmx ml/parsing/asttypes.cmi \
    ml/typing/typemod.cmi
ml/typing/types.cmo : ml/typing/primitive.cmi ml/typing/path.cmi \
    ml/utils/misc.cmi ml/typing/ident.cmi ml/parsing/asttypes.cmi \
    ml/typing/types.cmi
ml/typing/types.cmx : ml/typing/primitive.cmx ml/typing/path.cmx \
    ml/utils/misc.cmx ml/typing/ident.cmx ml/parsing/asttypes.cmi \
    ml/typing/types.cmi
ml/typing/typetexp.cmo : ml/utils/warnings.cmi ml/typing/types.cmi \
    ml/utils/tbl.cmi ml/typing/printtyp.cmi ml/typing/path.cmi \
    ml/parsing/parsetree.cmi ml/utils/misc.cmi ml/parsing/longident.cmi \
    ml/parsing/location.cmi ml/typing/env.cmi ml/typing/ctype.cmi \
    ml/utils/clflags.cmi ml/typing/btype.cmi ml/typing/typetexp.cmi
ml/typing/typetexp.cmx : ml/utils/warnings.cmx ml/typing/types.cmx \
    ml/utils/tbl.cmx ml/typing/printtyp.cmx ml/typing/path.cmx \
    ml/parsing/parsetree.cmi ml/utils/misc.cmx ml/parsing/longident.cmx \
    ml/parsing/location.cmx ml/typing/env.cmx ml/typing/ctype.cmx \
    ml/utils/clflags.cmx ml/typing/btype.cmx ml/typing/typetexp.cmi
ml/typing/unused_var.cmo : ml/utils/warnings.cmi ml/parsing/parsetree.cmi \
    ml/parsing/longident.cmi ml/parsing/location.cmi ml/parsing/asttypes.cmi \
    ml/typing/unused_var.cmi
ml/typing/unused_var.cmx : ml/utils/warnings.cmx ml/parsing/parsetree.cmi \
    ml/parsing/longident.cmx ml/parsing/location.cmx ml/parsing/asttypes.cmi \
    ml/typing/unused_var.cmi
ml/typing/btype.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/parsing/asttypes.cmi
ml/typing/ctype.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/typing/ident.cmi ml/typing/env.cmi ml/parsing/asttypes.cmi
ml/typing/datarepr.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/parsing/asttypes.cmi
ml/typing/env.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/parsing/longident.cmi ml/typing/ident.cmi ml/utils/consistbl.cmi
ml/typing/ident.cmi :
ml/typing/includeclass.cmi : ml/typing/types.cmi ml/typing/typedtree.cmi \
    ml/typing/env.cmi ml/typing/ctype.cmi
ml/typing/includecore.cmi : ml/typing/types.cmi ml/typing/typedtree.cmi \
    ml/typing/ident.cmi ml/typing/env.cmi
ml/typing/includemod.cmi : ml/typing/types.cmi ml/typing/typedtree.cmi \
    ml/typing/path.cmi ml/typing/ident.cmi ml/typing/env.cmi \
    ml/typing/ctype.cmi
ml/typing/mtype.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/typing/ident.cmi ml/typing/env.cmi
ml/typing/oprint.cmi : ml/typing/outcometree2.cmi
ml/typing/outcometree2.cmi : ml/parsing/asttypes.cmi
ml/typing/parmatch.cmi : ml/typing/types.cmi ml/typing/typedtree.cmi \
    ml/parsing/location.cmi ml/typing/env.cmi
ml/typing/path.cmi : ml/typing/ident.cmi
ml/typing/predef.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/typing/ident.cmi
ml/typing/primitive.cmi :
ml/typing/printtyp.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/typing/outcometree2.cmi ml/parsing/longident.cmi ml/typing/ident.cmi
ml/typing/stypes.cmi : ml/typing/typedtree.cmi ml/parsing/location.cmi
ml/typing/subst.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/typing/ident.cmi
ml/typing/typeclass.cmi : ml/typing/types.cmi ml/typing/typedtree.cmi \
    ml/parsing/parsetree.cmi ml/parsing/longident.cmi ml/parsing/location.cmi \
    ml/typing/ident.cmi ml/typing/env.cmi ml/typing/ctype.cmi \
    ml/parsing/asttypes.cmi
ml/typing/typecore.cmi : ml/typing/types.cmi ml/typing/typedtree.cmi \
    ml/typing/path.cmi ml/parsing/parsetree.cmi ml/parsing/longident.cmi \
    ml/parsing/location.cmi ml/typing/ident.cmi ml/typing/env.cmi \
    ml/parsing/asttypes.cmi
ml/typing/typedecl.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/parsing/parsetree.cmi ml/parsing/longident.cmi ml/parsing/location.cmi \
    ml/typing/ident.cmi ml/typing/env.cmi
ml/typing/typedtree.cmi : ml/typing/types.cmi ml/typing/primitive.cmi \
    ml/typing/path.cmi ml/parsing/location.cmi ml/typing/ident.cmi \
    ml/typing/env.cmi ml/parsing/asttypes.cmi
ml/typing/typemod.cmi : ml/typing/types.cmi ml/typing/typedtree.cmi \
    ml/parsing/parsetree.cmi ml/parsing/longident.cmi ml/parsing/location.cmi \
    ml/typing/includemod.cmi ml/typing/ident.cmi ml/typing/env.cmi
ml/typing/types.cmi : ml/typing/primitive.cmi ml/typing/path.cmi \
    ml/typing/ident.cmi ml/parsing/asttypes.cmi
ml/typing/typetexp.cmi : ml/typing/types.cmi ml/typing/path.cmi \
    ml/parsing/parsetree.cmi ml/parsing/longident.cmi ml/parsing/location.cmi \
    ml/typing/env.cmi
ml/typing/unused_var.cmi : ml/parsing/parsetree.cmi
ml/utils/clflags.cmo : ml/utils/config.cmi ml/utils/clflags.cmi
ml/utils/clflags.cmx : ml/utils/config.cmx ml/utils/clflags.cmi
ml/utils/config.cmo : ml/utils/config.cmi
ml/utils/config.cmx : ml/utils/config.cmi
ml/utils/consistbl.cmo : ml/utils/consistbl.cmi
ml/utils/consistbl.cmx : ml/utils/consistbl.cmi
ml/utils/misc.cmo : ml/utils/misc.cmi
ml/utils/misc.cmx : ml/utils/misc.cmi
ml/utils/tbl.cmo : ml/utils/tbl.cmi
ml/utils/tbl.cmx : ml/utils/tbl.cmi
ml/utils/terminfo.cmo : ml/utils/terminfo.cmi
ml/utils/terminfo.cmx : ml/utils/terminfo.cmi
ml/utils/warnings.cmo : ml/utils/warnings.cmi
ml/utils/warnings.cmx : ml/utils/warnings.cmi
ml/utils/clflags.cmi :
ml/utils/config.cmi :
ml/utils/consistbl.cmi :
ml/utils/misc.cmi :
ml/utils/tbl.cmi :
ml/utils/terminfo.cmi :
ml/utils/warnings.cmi :
