initial import of standalone matitaprover binary

[helm.git] / helm / software / components / extlib / Makefile

diff --git a/helm/software/components/extlib/Makefile b/helm/software/components/extlib/Makefile
index f4d92191df82b0429c0e4648755ba1a3956aeafd..4aa36a488e8504fbeeb577fcec60e1278950985b 100644 (file)
--- a/helm/software/components/extlib/Makefile
+++ b/helm/software/components/extlib/Makefile
@@ -8,6 +8,7 @@ INTERFACE_FILES =               \
        patternMatcher.mli      \
        hLog.mli                \
        trie.mli                \
+       discrimination_tree.mli                 \
        hTopoSort.mli           \
        refCounter.mli          \
        graphvizPp.mli          \