-proceduralConversion.cmo: proceduralTypes.cmi proceduralPreprocess.cmi \
- proceduralMode.cmi proceduralConversion.cmi
-proceduralConversion.cmx: proceduralTypes.cmx proceduralPreprocess.cmx \
- proceduralMode.cmx proceduralConversion.cmi
+proceduralConversion.cmo: proceduralConversion.cmi
+proceduralConversion.cmx: proceduralConversion.cmi