2 doubleTypeInference.cmi :
4 cic2Xml.cmi : cic2acic.cmi
5 eta_fixing.cmo : eta_fixing.cmi
6 eta_fixing.cmx : eta_fixing.cmi
7 doubleTypeInference.cmo : doubleTypeInference.cmi
8 doubleTypeInference.cmx : doubleTypeInference.cmi
9 cic2acic.cmo : eta_fixing.cmi doubleTypeInference.cmi cic2acic.cmi
10 cic2acic.cmx : eta_fixing.cmx doubleTypeInference.cmx cic2acic.cmi
11 cic2Xml.cmo : cic2acic.cmi cic2Xml.cmi
12 cic2Xml.cmx : cic2acic.cmx cic2Xml.cmi