initial implementation of `ncoercion name : type := body on name : pat to pat`

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

diff --git a/helm/software/components/extlib/Makefile b/helm/software/components/extlib/Makefile
index 8caad1fca7d9b7aebff68eac61f26bd1ddbed1c0..4aa36a488e8504fbeeb577fcec60e1278950985b 100644 (file)
--- a/helm/software/components/extlib/Makefile
+++ b/helm/software/components/extlib/Makefile
@@ -8,7 +8,10 @@ INTERFACE_FILES =              \
        patternMatcher.mli      \
        hLog.mli                \
        trie.mli                \
+       discrimination_tree.mli                 \
+       hTopoSort.mli           \
        refCounter.mli          \
+       graphvizPp.mli          \
        $(NULL)
 IMPLEMENTATION_FILES = \
        $(INTERFACE_FILES:%.mli=%.ml)