version 0.7.1

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

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