whelp and cic disambiguation removed

[helm.git] / matita / configure.ac

diff --git a/matita/configure.ac b/matita/configure.ac
index bc655aae3e5c67995d371b7bf16fd5f9ad78c39e..aa3d1b49ae8f759c6970114b60a667060325a1e6 100644 (file)
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -73,7 +73,6 @@ zip \
 
 FINDLIB_COMREQUIRES="\
 helm-disambiguation \
-helm-cic_disambiguation \
 helm-grafite \
 helm-grafite_engine \
 helm-tptp_grafite \