diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-11-27 19:05:13 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-11-27 19:05:13 +0000 |
commit | a1fa0d6a3d185c3f9089542893295ea001734289 (patch) | |
tree | 34d430784bd92b7104ba7fa84bb6e42fdf2b05e8 /src/main/interactive_shell.cpp | |
parent | 95dcbc6781cd8e62f8436f0cfe944b21dfd60ec0 (diff) |
fix for some Mac builds
Diffstat (limited to 'src/main/interactive_shell.cpp')
-rw-r--r-- | src/main/interactive_shell.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp index cdeef23ed..7cef623e9 100644 --- a/src/main/interactive_shell.cpp +++ b/src/main/interactive_shell.cpp @@ -94,8 +94,12 @@ InteractiveShell::InteractiveShell(ExprManager& exprManager, #if HAVE_LIBREADLINE if(d_in == cin) { - ::rl_readline_name = "CVC4"; + ::rl_readline_name = const_cast<char*>("CVC4"); +#if READLINE_COMPENTRY_FUNC_RETURNS_CHARP ::rl_completion_entry_function = commandGenerator; +#else /* READLINE_COMPENTRY_FUNC_RETURNS_CHARP */ + ::rl_completion_entry_function = (Function) commandGenerator; +#endif /* READLINE_COMPENTRY_FUNC_RETURNS_CHARP */ ::using_history(); switch(OutputLanguage lang = toOutputLanguage(d_options[options::inputLanguage])) { |