- cic_exportation, cic_acic, acic_content (only parts related to acic)

[helm.git] / matita / configure.ac

diff --git a/matita/configure.ac b/matita/configure.ac
index 69eceb4e4ab1c1c9c05c8417a60229cc23e7f8e6..b6f2d4ce1c1553ac317ff7e604968c273b7fa49b 100644 (file)
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -82,7 +82,6 @@ helm-content_pres \
 helm-hgdome \
 helm-ng_paramodulation \
 helm-ng_tactics \
-helm-cic_exportation \
 "
 FINDLIB_CREQUIRES=" \
 $FINDLIB_COMREQUIRES \