From: Gereon Kremer <nafur42@gmail.com>
Date: Mon, 23 Aug 2021 15:37:47 +0000 (-0700)
Subject: Use options correctly in competition mode (#7053)
X-Git-Tag: cvc5-1.0.0~1352
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b1140ffab5d45f282417c4e9378ffbf5959f4673;p=cvc5.git

Use options correctly in competition mode (#7053)

Fix competition mode by accessing options in the correct way in main functions.
---

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