X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2FMakefile;h=9d30e7020d39fb9f1da56ec8dfbf1e6f6110b3d6;hb=22964c949671af4b5e739b06b915a81a4fc2c5b5;hp=f16094a17c7e96af9907c21f146d227b46f40404;hpb=bdc855b1b6c9552a49a01769cb906a438ca60cc4;p=helm.git

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index f16094a17..9d30e7020 100644
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -27,22 +27,25 @@ opt: saturation.opt
 
 INTERFACE_FILES = \
 	utils.mli \
-	inference.mli
+	inference.mli 
 
 DEPOBJS = \
 	$(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) \
+	trie.ml \
 	path_indexing.ml \
-	indexing.ml \
-	saturation.ml \
 	discrimination_tree.ml \
-	test_indexing.ml
+	test_indexing.ml \
+	indexing.ml \
+	saturation.ml 
 
 TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
+	trie.cmo \
 	path_indexing.cmo \
 	discrimination_tree.cmo \
 	indexing.cmo \
 	saturation.cmo
 TESTOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
+	trie.cmo \
 	path_indexing.cmo \
 	discrimination_tree.cmo \
 	test_indexing.cmo