-proofEngineReduction.cmo: proofEngineReduction.cmi
-proofEngineReduction.cmx: proofEngineReduction.cmi
-proofEngineHelpers.cmo: proofEngineReduction.cmi proofEngineHelpers.cmi
-proofEngineHelpers.cmx: proofEngineReduction.cmx proofEngineHelpers.cmi
-tacticals.cmo: proofEngineTypes.cmi tacticals.cmi
-tacticals.cmx: proofEngineTypes.cmx tacticals.cmi
+proofEngineHelpers.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi
+proofEngineHelpers.cmx: proofEngineTypes.cmx proofEngineHelpers.cmi
+proofEngineReduction.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi \
+ proofEngineReduction.cmi
+proofEngineReduction.cmx: proofEngineTypes.cmx proofEngineHelpers.cmx \
+ proofEngineReduction.cmi
+continuationals.cmo: proofEngineTypes.cmi continuationals.cmi
+continuationals.cmx: proofEngineTypes.cmx continuationals.cmi
+tacticals.cmo: proofEngineTypes.cmi continuationals.cmi tacticals.cmi
+tacticals.cmx: proofEngineTypes.cmx continuationals.cmx tacticals.cmi