X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FMakefile;h=f4d92191df82b0429c0e4648755ba1a3956aeafd;hb=1b70a1f66be53f76e475383e86d63c2b5c1fbcaa;hp=8caad1fca7d9b7aebff68eac61f26bd1ddbed1c0;hpb=ca3eeb009d1e694523e16c741d04c1fad3be4f02;p=helm.git

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