From b856cc58569d3814a820cfc369f2f0d7fcb1f82c Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Thu, 13 Apr 2017 11:57:19 -0700 Subject: [PATCH] Fix for some compilers --- src/main/interactive_shell.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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("CVC4"); #if READLINE_COMPENTRY_FUNC_RETURNS_CHARP ::rl_completion_entry_function = commandGenerator; -- 2.30.2