Fix for some compilers

diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp
index bb2956c446faca62407c17644c7b3f748598870c..b809e2019f47430b69f2502cba5b836db438d5de 100644 (file)
--- 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;