-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
+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