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/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/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/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/env.cmi src/encoding_mono_inst.cmi src/encoding.cmi src/cc.cmi \
    src/cvcl.cmi
src/cvcl.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/env.cmx src/encoding_mono_inst.cmx src/encoding.cmx src/cc.cmi \
    src/cvcl.cmi
src/dispatcher.cmo : src/zenon.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/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/explain.cmi
src/explain.cmx : src/logic_decl.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/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/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/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/env.cmx src/encoding.cmx src/cc.cmi src/harvey.cmi
src/hol4.cmo : src/util.cmi src/print_real.cmo src/pp.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/ident.cmi src/env.cmi src/cc.cmi \
    src/hol4.cmi
src/hol4.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/env.cmx src/cc.cmi \
    src/hol4.cmi
src/holl.cmo : src/util.cmi src/print_real.cmo src/pp.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/ident.cmi src/env.cmi src/cc.cmi \
    src/holl.cmi
src/holl.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/env.cmx src/cc.cmi \
    src/holl.cmi
src/hypotheses_filtering.cmo : src/util.cmi src/options.cmi src/misc.cmi \
    src/logic_decl.cmi src/logic.cmi src/ident.cmi src/env.cmi src/cc.cmi
src/hypotheses_filtering.cmx : src/util.cmx src/options.cmx src/misc.cmx \
    src/logic_decl.cmi src/logic.cmi src/ident.cmx src/env.cmx src/cc.cmi
src/ident.cmo : src/ident.cmi
src/ident.cmx : src/ident.cmi
src/isabelle.cmo : 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/env.cmi src/cc.cmi src/isabelle.cmi
src/isabelle.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/env.cmx src/cc.cmi src/isabelle.cmi
src/lib.cmo : src/lib.cmi
src/lib.cmx : src/lib.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.cmi 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/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/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/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/env.cmi src/cc.cmi src/mizar.cmi
src/mizar.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/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/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/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/pp.cmo : src/pp.cmi
src/pp.cmx : src/pp.cmi
src/predDefExpansor.cmo : src/util.cmi src/types.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/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/loc.cmi \
    src/explain.cmi src/project.cmi
src/project.cmx : src/xml.cmx src/rc.cmx src/logic_decl.cmi src/loc.cmx \
    src/explain.cmx src/project.cmi
src/pvs.cmo : src/util.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/util.cmx 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/misc.cmi src/logic.cmi src/ident.cmi src/cc.cmi \
    src/red.cmi
src/red.cmx : src/misc.cmx src/logic.cmi src/ident.cmx src/cc.cmi \
    src/red.cmi
src/regen.cmo : src/pp.cmi src/options.cmi src/logic_decl.cmi src/logic.cmi \
    src/loc.cmi src/env.cmi src/cc.cmi src/regen.cmi
src/regen.cmx : src/pp.cmx src/options.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/loc.cmi src/ident.cmi src/error.cmi src/effect.cmi \
    src/report.cmi
src/report.cmx : src/loc.cmx src/ident.cmx src/error.cmi src/effect.cmx \
    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/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/env.cmx \
    src/encoding.cmx src/cc.cmi src/smtlib.cmi
src/theory_filtering.cmo : src/options.cmi src/logic_decl.cmi src/logic.cmi \
    src/ident.cmi src/env.cmi src/cc.cmi
src/theory_filtering.cmx : src/options.cmx src/logic_decl.cmi src/logic.cmi \
    src/ident.cmx src/env.cmx src/cc.cmi
src/theoryreducer.cmo : src/unionfind.cmo src/logic_decl.cmi src/logic.cmi \
    src/ident.cmi src/env.cmi src/cc.cmi
src/theoryreducer.cmx : src/unionfind.cmx src/logic_decl.cmi src/logic.cmi \
    src/ident.cmx src/env.cmx src/cc.cmi
src/typing.cmo : src/util.cmi src/types.cmi src/report.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/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/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/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/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/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/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/env.cmx \
    src/encoding_mono_inst.cmx src/encoding.cmx src/cc.cmi src/z3.cmi
src/zenon.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/env.cmi src/encoding.cmi src/cc.cmi src/zenon.cmi
src/zenon.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/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/logic_decl.cmi src/logic.cmi src/ident.cmi src/cc.cmi
src/cvcl.cmi : src/logic_decl.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/encoding_mono_inst.cmi : src/logic_decl.cmi
src/encoding_pred.cmi : src/logic_decl.cmi
src/encoding_rec.cmi : src/logic_decl.cmi
src/encoding_strat.cmi : src/logic_decl.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/graphviz.cmi :
src/harvey.cmi : src/logic_decl.cmi
src/hol4.cmi : src/logic_decl.cmi
src/holl.cmi : src/logic_decl.cmi
src/ident.cmi :
src/isabelle.cmi : src/logic_decl.cmi
src/lexer.cmi : src/ptree.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/logic.cmi src/loc.cmi src/ident.cmi \
    src/cc.cmi src/ast.cmi
src/mizar.cmi : src/logic_decl.cmi
src/mlize.cmi : src/rename.cmi src/env.cmi src/cc.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/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/logic_decl.cmi
src/rc.cmi :
src/red.cmi : src/logic.cmi src/cc.cmi
src/regen.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/smtlib.cmi : src/logic_decl.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/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/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/zenon.cmi : src/logic_decl.cmi
jc/jc_ai.cmi : src/loc.cmi jc/jc_fenv.cmo
jc/jc_ast.cmi : src/loc.cmi 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_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 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 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_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_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_stdlib.cmo \
    jc/jc_region.cmo jc/jc_pervasives.cmi jc/jc_options.cmi jc/jc_name.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_stdlib.cmx \
    jc/jc_region.cmx jc/jc_pervasives.cmx jc/jc_options.cmx jc/jc_name.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 : jc/output.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_name.cmo jc/jc_interp_misc.cmi jc/jc_fenv.cmo \
    jc/jc_env.cmi jc/jc_constructors.cmi jc/jc_ast.cmi
jc/jc_frame_notin.cmx : jc/output.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_name.cmx jc/jc_interp_misc.cmx jc/jc_fenv.cmx \
    jc/jc_env.cmi jc/jc_constructors.cmx jc/jc_ast.cmi
jc/jc_interp.cmo : src/rc.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_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 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_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 : 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 : 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_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_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_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_ai.cmx
jc/jc_make.cmo :
jc/jc_make.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_name.cmx : jc/output.cmx jc/jc_region.cmx jc/jc_pervasives.cmx \
    jc/jc_env.cmi jc/jc_common_options.cmx
jc/jc_norm.cmo : src/option_misc.cmi jc/jc_pervasives.cmi jc/jc_options.cmi \
    jc/jc_iterators.cmi 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/option_misc.cmx jc/jc_pervasives.cmx jc/jc_options.cmx \
    jc/jc_iterators.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 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 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 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 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_output_misc.cmo \
    jc/jc_ast.cmi
jc/jc_poutput.cmx : src/pp.cmx src/option_misc.cmx jc/jc_output_misc.cmx \
    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_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
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_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_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_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_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
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 :
