X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2FMakefile;h=d1d4c0427affabc607d2b895edffee8d2ed859f8;hb=8aaf525856e25bcd8f355e505fd00f45c62bc18f;hp=c50c1b41f3f715f32dd3985b96fe0145074136e2;hpb=423f3f23abfe6d5906818c26ab92d3703714057d;p=helm.git

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index c50c1b41f..d1d4c0427 100644
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -43,9 +43,12 @@ INTERFACE_FILES = \
 
 DEPOBJS = \
 	$(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) \
+	indexing.ml \
 	saturation.ml
 
-TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) saturation.cmo
+TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
+	indexing.cmo \
+	saturation.cmo
 # TESTOBJS = \
 # 	disambiguatingParser.cmo \
 # 	batchParser.cmo