ctl/pretty_print_ctl.cmo : \
    ctl/flag_ctl.cmi \
    commons/common.cmi \
    ctl/ast_ctl.cmi \
    ctl/pretty_print_ctl.cmi
ctl/pretty_print_ctl.cmx : \
    ctl/flag_ctl.cmx \
    commons/common.cmx \
    ctl/ast_ctl.cmx \
    ctl/pretty_print_ctl.cmi
