X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FMakefile;h=4aa36a488e8504fbeeb577fcec60e1278950985b;hb=896dbb726688866298fd7bbea98e3d7d0391bc75;hp=4e5c9b5a91525b0b809a2e49b1c9ac83e634349f;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/extlib/Makefile b/helm/software/components/extlib/Makefile
index 4e5c9b5a9..4aa36a488 100644
--- a/helm/software/components/extlib/Makefile
+++ b/helm/software/components/extlib/Makefile
@@ -6,8 +6,12 @@ INTERFACE_FILES =		\
         hExtlib.mli		\
 	hMarshal.mli 		\
 	patternMatcher.mli	\
-	hLog.mli \
-	trie.mli \
+	hLog.mli 		\
+	trie.mli 		\
+	discrimination_tree.mli 		\
+	hTopoSort.mli 		\
+	refCounter.mli 		\
+	graphvizPp.mli		\
 	$(NULL)
 IMPLEMENTATION_FILES = \
 	$(INTERFACE_FILES:%.mli=%.ml)