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