various updates, removed proofs for now because they are the real bottleneck!!

[helm.git] / helm / ocaml / paramodulation / Makefile

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index 9d30e7020d39fb9f1da56ec8dfbf1e6f6110b3d6..a34ec0c2b2e90f35a10df4445060f213e2d625eb 100644 (file)
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -31,7 +31,6 @@ INTERFACE_FILES = \
 
 DEPOBJS = \
        $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) \
-       trie.ml \
        path_indexing.ml \
        discrimination_tree.ml \
        test_indexing.ml \