eta_fixing.cmi :
doubleTypeInference.cmi :
cic2acic.cmi :
cic2Xml.cmi : cic2acic.cmi
eta_fixing.cmo : eta_fixing.cmi
eta_fixing.cmx : eta_fixing.cmi
doubleTypeInference.cmo : doubleTypeInference.cmi
doubleTypeInference.cmx : doubleTypeInference.cmi
cic2acic.cmo : eta_fixing.cmi doubleTypeInference.cmi cic2acic.cmi
cic2acic.cmx : eta_fixing.cmx doubleTypeInference.cmx cic2acic.cmi
cic2Xml.cmo : cic2acic.cmi cic2Xml.cmi
cic2Xml.cmx : cic2acic.cmx cic2Xml.cmi