proofEngine.cmo: proofEngineReduction.cmo
proofEngine.cmx: proofEngineReduction.cmx
-cic2acic.cmo: cic2acic.cmi
-cic2acic.cmx: cic2acic.cmi
+doubleTypeInference.cmo: doubleTypeInference.cmi
+doubleTypeInference.cmx: doubleTypeInference.cmi
+cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi
+cic2acic.cmx: doubleTypeInference.cmx cic2acic.cmi
logicalOperations.cmo: proofEngine.cmo
logicalOperations.cmx: proofEngine.cmx
sequentPp.cmo: cic2Xml.cmo cic2acic.cmi proofEngine.cmo