diff options
Diffstat (limited to 'src/base/configuration_private.h')
| -rw-r--r-- | src/base/configuration_private.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h index 906cf831d..fcfc6d500 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -144,11 +144,11 @@ namespace CVC4 { #define IS_POLY_BUILD false #endif /* CVC4_USE_POLY */ -#if HAVE_LIBREADLINE -# define IS_READLINE_BUILD true -#else /* HAVE_LIBREADLINE */ -# define IS_READLINE_BUILD false -#endif /* HAVE_LIBREADLINE */ +#if HAVE_LIBEDITLINE +#define IS_EDITLINE_BUILD true +#else /* HAVE_LIBEDITLINE */ +#define IS_EDITLINE_BUILD false +#endif /* HAVE_LIBEDITLINE */ #ifdef CVC4_USE_SYMFPU #define IS_SYMFPU_BUILD true |