-paramodulation/inference.cmo: paramodulation/utils.cmi \
- proofEngineReduction.cmi proofEngineHelpers.cmi metadataQuery.cmi \
+paramodulation/equality.cmo: paramodulation/utils.cmi \
+ proofEngineReduction.cmi paramodulation/equality.cmi
+paramodulation/equality.cmx: paramodulation/utils.cmx \
+ proofEngineReduction.cmx paramodulation/equality.cmi
+paramodulation/inference.cmo: paramodulation/utils.cmi proofEngineHelpers.cmi \
+ metadataQuery.cmi paramodulation/equality.cmi \