diff options
author | Tim King <taking@google.com> | 2015-12-16 12:36:16 -0500 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-12-16 12:36:46 -0500 |
commit | a0c5d25a60c9602b2452633a9c70aa034669462c (patch) | |
tree | 506ed4626ff30479c855bcd282be6cfd4464b93b /src/main | |
parent | b22464914f54de6a64e01cb26b7c0b08d2640dab (diff) |
Removing the Record iterator from the swig interface. Moving the cvc4 autogen include in interactive_shell.cpp.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/interactive_shell.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp index da2813e24..7b146b3b0 100644 --- a/src/main/interactive_shell.cpp +++ b/src/main/interactive_shell.cpp @@ -26,6 +26,9 @@ #include <utility> #include <vector> +//This must go before HAVE_LIBREADLINE. +#include "cvc4autoconfig.h" + #if HAVE_LIBREADLINE # include <readline/readline.h> # include <readline/history.h> @@ -36,7 +39,6 @@ #include "base/output.h" -#include "cvc4autoconfig.h" #include "options/language.h" #include "options/main_options.h" #include "options/options.h" |