freshNamesGenerator.cmi
freshNamesGenerator.cmx: cicTypeChecker.cmx cicSubstitution.cmx \
freshNamesGenerator.cmi
+cicDischarge.cmo: cicTypeChecker.cmi cicEnvironment.cmi cicDischarge.cmi
+cicDischarge.cmx: cicTypeChecker.cmx cicEnvironment.cmx cicDischarge.cmi