popl09/insert_quantifiers.cmo : \
    commons/common.cmi \
    popl09/ast_popl.cmi \
    parsing_cocci/ast_cocci.cmi \
    popl09/insert_quantifiers.cmi
popl09/insert_quantifiers.cmx : \
    commons/common.cmx \
    popl09/ast_popl.cmx \
    parsing_cocci/ast_cocci.cmx \
    popl09/insert_quantifiers.cmi
