diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2017-04-13 11:57:19 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.stanford.edu> | 2017-04-13 11:57:19 -0700 |
commit | b856cc58569d3814a820cfc369f2f0d7fcb1f82c (patch) | |
tree | a7733f3619749a41b6641afd9b4039a1137ab877 /src | |
parent | 75db964b0c56f1a3b04b77c33d226c4d9cd0ca54 (diff) |
Fix for some compilers
Diffstat (limited to 'src')
-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; |