From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 29 Sep 2017 03:32:36 +0000 (-0700)
Subject: Fix output of --show-config for readline. (#1159)
X-Git-Tag: cvc5-1.0.0~5601
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fabc9849e7d9ab31b3622487f74235a065852caf;p=cvc5.git

Fix output of --show-config for readline. (#1159)

cvc4 --show-config reported the wrong configuration for readline since
HAVE_LIBREADLINE is set to 0 or 1 but was checked with #ifdef.
---

diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h
index 6d9201dde..472113c2e 100644
--- a/src/base/configuration_private.h
+++ b/src/base/configuration_private.h
@@ -126,7 +126,7 @@ namespace CVC4 {
 #define IS_LFSC_BUILD false
 #endif /* CVC4_USE_LFSC */
 
-#ifdef HAVE_LIBREADLINE
+#if HAVE_LIBREADLINE
 #  define IS_READLINE_BUILD true
 #else /* HAVE_LIBREADLINE */
 #  define IS_READLINE_BUILD false