-path_indexing.cmo: utils.cmi inference.cmi
-path_indexing.cmx: utils.cmx inference.cmx
-indexing.cmo: utils.cmi inference.cmi
-indexing.cmx: utils.cmx inference.cmx
+equality_indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi
+equality_indexing.cmx: utils.cmx inference.cmx equality_indexing.cmi
+indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi
+indexing.cmx: utils.cmx inference.cmx equality_indexing.cmx