eta_fixing.cmx: eta_fixing.cmi
doubleTypeInference.cmo: doubleTypeInference.cmi
doubleTypeInference.cmx: doubleTypeInference.cmi
eta_fixing.cmx: eta_fixing.cmi
doubleTypeInference.cmo: doubleTypeInference.cmi
doubleTypeInference.cmx: doubleTypeInference.cmi
-cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi
-cic2acic.cmx: doubleTypeInference.cmx cic2acic.cmi
+cic2acic.cmo: doubleTypeInference.cmi eta_fixing.cmi cic2acic.cmi
+cic2acic.cmx: doubleTypeInference.cmx eta_fixing.cmx cic2acic.cmi