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 12a2920b479a4c68ce0525c5b5e37315d1d1a7f1..6f109255fc38b7be19b97e375f8072d51ac7b08f 100644 (file)
--- 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