ast.cmi: location.cmi ast_types.cmo 
call_graph.cmi: java_context_types.cmo ast_types.cmo 
effects.cmi: why.cmi java_context_types.cmo ast_types.cmo 
java_context.cmi: java_context_types.cmo 
java_parser_base.cmi: location.cmi 
java_parser.cmi: location.cmi ast_types.cmo 
java_syntax.cmi: ast_types.cmo 
jml_desugaring.cmi: ast_types.cmo 
jml_lexer.cmi: jml_parser.cmi 
jml_parser_base.cmi: location.cmi 
jml_parser.cmi: location.cmi ast_types.cmo 
jml_syntax.cmi: location.cmi ast_types.cmo 
model.cmi: why.cmi java_context_types.cmo 
pre_translate.cmi: location.cmi java_context_types.cmo ast_types.cmo 
translate_local_memory_model.cmi: why.cmi ast_types.cmo 
translate_value_model.cmi: why.cmi ast_types.cmo 
typing.cmi: location.cmi java_context_types.cmo ast_types.cmo 
ast.cmo: location.cmi java_context_types.cmo java_context.cmi format_misc.cmi \
    ast_types.cmo ast.cmi 
ast.cmx: location.cmx java_context_types.cmx java_context.cmx format_misc.cmx \
    ast_types.cmx ast.cmi 
ast_types.cmo: location.cmi java_context_types.cmo 
ast_types.cmx: location.cmx java_context_types.cmx 
call_graph.cmo: java_context_types.cmo ast_types.cmo call_graph.cmi 
call_graph.cmx: java_context_types.cmx ast_types.cmx call_graph.cmi 
config.cmo: version.cmi config.cmi 
config.cmx: version.cmx config.cmi 
effects.cmo: typing.cmi option.cmi location.cmi java_context_types.cmo \
    java_context.cmi inttagset.cmi config.cmi ast_types.cmo ast.cmi \
    effects.cmi 
effects.cmx: typing.cmx option.cmx location.cmx java_context_types.cmx \
    java_context.cmx inttagset.cmx config.cmx ast_types.cmx ast.cmx \
    effects.cmi 
format_misc.cmo: format_misc.cmi 
format_misc.cmx: format_misc.cmi 
inttagset.cmo: inttagset.cmi 
inttagset.cmx: inttagset.cmi 
java_context.cmo: java_context_types.cmo inttagset.cmi format_misc.cmi \
    java_context.cmi 
java_context.cmx: java_context_types.cmx inttagset.cmx format_misc.cmx \
    java_context.cmi 
java_context_types.cmo: why.cmi inttagset.cmi 
java_context_types.cmx: why.cmx inttagset.cmx 
java_lexer.cmo: location.cmi jml_syntax.cmi java_parser_base.cmi \
    java_parser.cmi ast_types.cmo 
java_lexer.cmx: location.cmx jml_syntax.cmx java_parser_base.cmx \
    java_parser.cmx ast_types.cmx 
java_parser_base.cmo: location.cmi java_parser_base.cmi 
java_parser_base.cmx: location.cmx java_parser_base.cmi 
java_parser.cmo: location.cmi java_parser_base.cmi java_context_types.cmo \
    java_context.cmi ast_types.cmo ast.cmi java_parser.cmi 
java_parser.cmx: location.cmx java_parser_base.cmx java_context_types.cmx \
    java_context.cmx ast_types.cmx ast.cmx java_parser.cmi 
java_syntax.cmo: location.cmi java_parser_base.cmi java_parser.cmi \
    java_lexer.cmo config.cmi java_syntax.cmi 
java_syntax.cmx: location.cmx java_parser_base.cmx java_parser.cmx \
    java_lexer.cmx config.cmx java_syntax.cmi 
jml_desugaring.cmo: option.cmi location.cmi config.cmi ast_types.cmo ast.cmi \
    jml_desugaring.cmi 
jml_desugaring.cmx: option.cmx location.cmx config.cmx ast_types.cmx ast.cmx \
    jml_desugaring.cmi 
jml_lexer.cmo: location.cmi jml_parser_base.cmi jml_parser.cmi jml_lexer.cmi 
jml_lexer.cmx: location.cmx jml_parser_base.cmx jml_parser.cmx jml_lexer.cmi 
jml_parser_base.cmo: location.cmi jml_parser_base.cmi 
jml_parser_base.cmx: location.cmx jml_parser_base.cmi 
jml_parser.cmo: location.cmi jml_parser_base.cmi ast_types.cmo ast.cmi \
    jml_parser.cmi 
jml_parser.cmx: location.cmx jml_parser_base.cmx ast_types.cmx ast.cmx \
    jml_parser.cmi 
jml_syntax.cmo: location.cmi jml_parser_base.cmi jml_parser.cmi jml_lexer.cmi \
    config.cmi ast.cmi jml_syntax.cmi 
jml_syntax.cmx: location.cmx jml_parser_base.cmx jml_parser.cmx jml_lexer.cmx \
    config.cmx ast.cmx jml_syntax.cmi 
location.cmo: location.cmi 
location.cmx: location.cmi 
main.cmo: why.cmi version.cmi typing.cmi translate_local_memory_model.cmi \
    pre_translate.cmi model.cmi java_syntax.cmi java_context_types.cmo \
    java_context.cmi config.cmi call_graph.cmi 
main.cmx: why.cmx version.cmx typing.cmx translate_local_memory_model.cmx \
    pre_translate.cmx model.cmx java_syntax.cmx java_context_types.cmx \
    java_context.cmx config.cmx call_graph.cmx 
model.cmo: why.cmi version.cmi java_context_types.cmo inttagset.cmi \
    format_misc.cmi config.cmi model.cmi 
model.cmx: why.cmx version.cmx java_context_types.cmx inttagset.cmx \
    format_misc.cmx config.cmx model.cmi 
option.cmo: option.cmi 
option.cmx: option.cmi 
pre_translate.cmo: why.cmi typing.cmi location.cmi java_context_types.cmo \
    java_context.cmi effects.cmi config.cmi ast_types.cmo ast.cmi \
    pre_translate.cmi 
pre_translate.cmx: why.cmx typing.cmx location.cmx java_context_types.cmx \
    java_context.cmx effects.cmx config.cmx ast_types.cmx ast.cmx \
    pre_translate.cmi 
translate_local_memory_model.cmo: why.cmi typing.cmi pre_translate.cmi \
    location.cmi java_context_types.cmo java_context.cmi inttagset.cmi \
    effects.cmi config.cmi ast_types.cmo ast.cmi \
    translate_local_memory_model.cmi 
translate_local_memory_model.cmx: why.cmx typing.cmx pre_translate.cmx \
    location.cmx java_context_types.cmx java_context.cmx inttagset.cmx \
    effects.cmx config.cmx ast_types.cmx ast.cmx \
    translate_local_memory_model.cmi 
translate_value_model.cmo: why.cmi pre_translate.cmi option.cmi location.cmi \
    java_context_types.cmo java_context.cmi config.cmi ast_types.cmo \
    translate_value_model.cmi 
translate_value_model.cmx: why.cmx pre_translate.cmx option.cmx location.cmx \
    java_context_types.cmx java_context.cmx config.cmx ast_types.cmx \
    translate_value_model.cmi 
typing.cmo: why.cmi option.cmi location.cmi jml_desugaring.cmi \
    java_syntax.cmi java_context_types.cmo java_context.cmi format_misc.cmi \
    config.cmi ast_types.cmo ast.cmi typing.cmi 
typing.cmx: why.cmx option.cmx location.cmx jml_desugaring.cmx \
    java_syntax.cmx java_context_types.cmx java_context.cmx format_misc.cmx \
    config.cmx ast_types.cmx ast.cmx typing.cmi 
version.cmo: version.cmi 
version.cmx: version.cmi 
why.cmo: option.cmi format_misc.cmi why.cmi 
why.cmx: option.cmx format_misc.cmx why.cmi 
generic/equiv_models.vo: generic/equiv_models.v
generic/fmap.vo: generic/fmap.v generic/preambule.vo
generic/java_base.vo: generic/java_base.v
generic/local_classes.vo: generic/local_classes.v generic/preambule.vo generic/map.vo
generic/local_memory.save.vo: generic/local_memory.save.v generic/preambule.vo generic/local_classes.vo generic/map.vo generic/fmap.vo
generic/local_memory_template_why.vo: generic/local_memory_template_why.v generic/local_tactics.v
generic/local_memory.vo: generic/local_memory.v generic/preambule.vo generic/local_classes.vo generic/map.vo generic/fmap.vo
generic/local_tactics.vo: generic/local_tactics.v
generic/map.vo: generic/map.v
generic/object_val.vo: generic/object_val.v generic/preambule.vo generic/map.vo
generic/object_val_why.vo: generic/object_val_why.v /usr/local/lib/coq/user-contrib/Why.vo
generic/pmap.vo: generic/pmap.v generic/preambule.vo
generic/preambule.vo: generic/preambule.v
generic/replace.vo: generic/replace.v
why_generic/Krak_global_model.vo: why_generic/Krak_global_model.v generic/preambule.vo
why_generic/Krak_model.vo: why_generic/Krak_model.v /usr/local/lib/coq/user-contrib/Why.vo generic/preambule.vo generic/local_classes.vo generic/local_memory.vo
why_generic/krak_tactics.vo: why_generic/krak_tactics.v why_generic/local_memory_why.vo
why_generic/local_memory_why.vo: why_generic/local_memory_why.v /usr/local/lib/coq/user-contrib/Why.vo /usr/local/lib/coq/user-contrib/WhyReal.vo
why_generic/local_tactics.vo: why_generic/local_tactics.v
