Removed tptp_grafite

[helm.git] / matita / configure.ac

diff --git a/matita/configure.ac b/matita/configure.ac
index aa3d1b49ae8f759c6970114b60a667060325a1e6..d33d49f421030d8135a600c87255fc2a094e5102 100644 (file)
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -75,7 +75,6 @@ FINDLIB_COMREQUIRES="\
 helm-disambiguation \
 helm-grafite \
 helm-grafite_engine \
-helm-tptp_grafite \
 helm-ng_disambiguation \
 helm-ng_cic_content \
 helm-grafite_parser \