diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-08-23 08:37:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-23 08:37:47 -0700 |
commit | b1140ffab5d45f282417c4e9378ffbf5959f4673 (patch) | |
tree | 0a01101539e417d1156fbc760edc1e462505dda9 /src/main | |
parent | 63bccca3e6e96e8e1ed92a25ca04f10d44858bff (diff) |
Use options correctly in competition mode (#7053)
Fix competition mode by accessing options in the correct way in main functions.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index 12a2920b4..6f109255f 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -59,7 +59,7 @@ int main(int argc, char* argv[]) catch (cvc5::api::CVC5ApiOptionException& e) { #ifdef CVC5_COMPETITION_MODE - *opts.base.out << "unknown" << endl; + *solver->getOptions().base.out << "unknown" << endl; #endif cerr << "(error \"" << e.getMessage() << "\")" << endl << endl |