diff options
Diffstat (limited to 'src/main/interactive_shell.cpp')
| -rw-r--r-- | src/main/interactive_shell.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp index bb2956c44..b809e2019 100644 --- a/src/main/interactive_shell.cpp +++ b/src/main/interactive_shell.cpp @@ -104,7 +104,7 @@ InteractiveShell::InteractiveShell(ExprManager& exprManager, } #if HAVE_LIBREADLINE - if(d_in == cin) { + if(&d_in == &cin) { ::rl_readline_name = const_cast<char*>("CVC4"); #if READLINE_COMPENTRY_FUNC_RETURNS_CHARP ::rl_completion_entry_function = commandGenerator; |