--- /dev/null
+proceduralHelpers.cmo: proceduralHelpers.cmi
+proceduralHelpers.cmx: proceduralHelpers.cmi
+proceduralClassify.cmo: proceduralHelpers.cmi proceduralClassify.cmi
+proceduralClassify.cmx: proceduralHelpers.cmx proceduralClassify.cmi
+proceduralOptimizer.cmo: proceduralHelpers.cmi proceduralClassify.cmi \
+ proceduralOptimizer.cmi
+proceduralOptimizer.cmx: proceduralHelpers.cmx proceduralClassify.cmx \
+ proceduralOptimizer.cmi
+proceduralTypes.cmo: proceduralHelpers.cmi proceduralTypes.cmi
+proceduralTypes.cmx: proceduralHelpers.cmx proceduralTypes.cmi
+proceduralMode.cmo: proceduralClassify.cmi proceduralMode.cmi
+proceduralMode.cmx: proceduralClassify.cmx proceduralMode.cmi
+proceduralConversion.cmo: proceduralConversion.cmi
+proceduralConversion.cmx: proceduralConversion.cmi
+acic2Procedural.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
+ proceduralConversion.cmi proceduralClassify.cmi acic2Procedural.cmi
+acic2Procedural.cmx: proceduralTypes.cmx proceduralHelpers.cmx \
+ proceduralConversion.cmx proceduralClassify.cmx acic2Procedural.cmi