projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 516862b) | patch
Fix output of --show-config for readline. (#1159)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 29 Sep 2017 03:32:36 +0000 (20:32 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 29 Sep 2017 03:32:36 +0000 (20:32 -0700)
commitfabc9849e7d9ab31b3622487f74235a065852caf
treec54fca351f68345ae32a701fd2c49e003328d056tree
parent516862b9cb4a3404af8155a91f0087d755f20968commit | diff
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.
src/base/configuration_private.h diff | blob | history