cic module removed (RIP)

[helm.git] / matita / components / Makefile

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