From b1140ffab5d45f282417c4e9378ffbf5959f4673 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <nafur42@gmail.com>
Date: Mon, 23 Aug 2021 08:37:47 -0700
Subject: [PATCH] Use options correctly in competition mode (#7053)

Fix competition mode by accessing options in the correct way in main functions.
---
 src/main/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2