From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 8 Jul 2012 22:10:17 +0000 (+0000)
Subject: remove a debugging line from configure script that was left in inadvertently
X-Git-Tag: cvc5-1.0.0~7944
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d42f2360c109d22ae416f68aa3e4f5f7c6e14d20;p=cvc5.git

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

diff --git a/configure.ac b/configure.ac
index 80de245d6..e2517cbd9 100644
--- 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