From: Clark Barrett <barrett@cs.stanford.edu>
Date: Thu, 13 Apr 2017 18:57:19 +0000 (-0700)
Subject: Fix for some compilers
X-Git-Tag: cvc5-1.0.0~5838
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b856cc58569d3814a820cfc369f2f0d7fcb1f82c;p=cvc5.git

Fix for some compilers
---

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;