X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fextlib%2FMakefile;h=f4d92191df82b0429c0e4648755ba1a3956aeafd;hb=6ad533c972e6c9e9db53f38f972e7c0792160f2e;hp=25b49280c29cde8883bc688fd32ffdc10b2fe7b4;hpb=4bc69df9d97954207ebb2df142b927676a026e45;p=helm.git

diff --git a/components/extlib/Makefile b/components/extlib/Makefile
index 25b49280c..f4d92191d 100644
--- 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)