X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fextlib%2FMakefile;h=8167ec3b4dbe9700f5165695a6ef5b6bf4a287d5;hb=cdb85e803cd6038352ec0a318285f96f42faf02d;hp=4aa36a488e8504fbeeb577fcec60e1278950985b;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/extlib/Makefile b/matita/components/extlib/Makefile
index 4aa36a488..8167ec3b4 100644
--- a/matita/components/extlib/Makefile
+++ b/matita/components/extlib/Makefile
@@ -10,7 +10,6 @@ INTERFACE_FILES =		\
 	trie.mli 		\
 	discrimination_tree.mli 		\
 	hTopoSort.mli 		\
-	refCounter.mli 		\
 	graphvizPp.mli		\
 	$(NULL)
 IMPLEMENTATION_FILES = \