remove a debugging line from configure script that was left in inadvertently

diff --git a/configure.ac b/configure.ac
index 80de245d60d3b43aba9043a28e90f5025cd7014c..e2517cbd9f32726e9040a0eb7c3e3711c4474b7f 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -875,7 +875,6 @@ fi
 cvc4_has_threads=yes
 AC_ARG_ENABLE([thread-support],
     AS_HELP_STRING([--disable-thread-support], [do not support multithreaded-capable library]))
-echo "enable_thread_support: $enable_thread_support"
 if test "$enable_thread_support" = no; then
   cvc4_has_threads=no
   if test "$with_portfolio" = yes; then