BIG FAT COMMIT REGARDING COERCIONS:

[helm.git] / components / extlib / Makefile

diff --git a/components/extlib/Makefile b/components/extlib/Makefile
index 25b49280c29cde8883bc688fd32ffdc10b2fe7b4..f4d92191df82b0429c0e4648755ba1a3956aeafd 100644 (file)
--- a/components/extlib/Makefile
+++ b/components/extlib/Makefile
@@ -8,6 +8,7 @@ INTERFACE_FILES =               \
        patternMatcher.mli      \
        hLog.mli                \
        trie.mli                \
+       hTopoSort.mli           \
        refCounter.mli          \
        graphvizPp.mli          \
        $(NULL)