X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2FMakefile;h=85462109008f2e3369dd82824a5d1e705b842e1f;hb=50cd60bf5151b7c118ec4d592a374757bdf3158f;hp=683bac671fe44efd6f9010a2c4e79b1ca788c5c9;hpb=b52f57d8573a909a486d52a7317e017f56d07199;p=helm.git

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index 683bac671..854621090 100644
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -2,10 +2,10 @@ PACKAGE = paramodulation
 
 INTERFACE_FILES = \
 	utils.mli \
-	inference.mli
+	inference.mli\
+	equality_indexing.mli
 
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) \
-	path_indexing.ml \
 	indexing.ml \
 	saturation.ml