X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FMakefile;h=4aa36a488e8504fbeeb577fcec60e1278950985b;hb=0581f3c8dc2098b82cd31a0fbed224a95652bd88;hp=25b49280c29cde8883bc688fd32ffdc10b2fe7b4;hpb=68e83da0f741009b8fdcc89934a251eafabc9012;p=helm.git

diff --git a/helm/software/components/extlib/Makefile b/helm/software/components/extlib/Makefile
index 25b49280c..4aa36a488 100644
--- a/helm/software/components/extlib/Makefile
+++ b/helm/software/components/extlib/Makefile
@@ -8,6 +8,8 @@ INTERFACE_FILES =		\
 	patternMatcher.mli	\
 	hLog.mli 		\
 	trie.mli 		\
+	discrimination_tree.mli 		\
+	hTopoSort.mli 		\
 	refCounter.mli 		\
 	graphvizPp.mli		\
 	$(NULL)