whelp and cic disambiguation removed

[helm.git] / matita / components / Makefile

diff --git a/matita/components/Makefile b/matita/components/Makefile
index 02125883f16dd7ee0335234f7f3109b18b2f26a9..db866c9c4ce2c6ce658388f7db5156744e31c705 100644 (file)
--- a/matita/components/Makefile
+++ b/matita/components/Makefile
@@ -27,11 +27,9 @@ MODULES =                    \
        acic_content            \
        grafite                 \
        cic_unification         \
-       whelp                   \
        tactics                 \
        acic_procedural         \
        disambiguation          \
-       cic_disambiguation      \
        ng_kernel               \
        ng_refiner              \
        ng_disambiguation       \