X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2FMakefile;fp=matita%2Fcomponents%2FMakefile;h=3f3b5dea9daf43dedd587783cc16e4c8948e27f5;hb=0d2bfb98d8343b4e6cefdb506a813b7cb5749630;hp=d536ec37b0aaeff78c0b2c68268ec5a5167f024c;hpb=cb11de1c61f0b61935b1c6c1832deacb49f7b5bd;p=helm.git

diff --git a/matita/components/Makefile b/matita/components/Makefile
index d536ec37b..3f3b5dea9 100644
--- a/matita/components/Makefile
+++ b/matita/components/Makefile
@@ -14,7 +14,6 @@ MODULES =			\
 	urimanager		\
 	logger			\
 	getter			\
-	cic			\
 	library			\
 	ng_kernel		\
 	content		\