From 7767144051d877945080c0ca83df1e4289263775 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 1 Feb 2023 11:07:47 -0800
Subject: [PATCH] fix test

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/lp/lp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp
index 547985f26..c82cdd0a4 100644
--- a/src/test/lp/lp.cpp
+++ b/src/test/lp/lp.cpp
@@ -1391,7 +1391,7 @@ void update_settings(argument_parser & args_parser, lp_settings& settings) {
         settings.set_random_seed(n);
     }
     if (get_int_from_args_parser("--simplex_strategy", args_parser, n)) {
-        settings.simplex_strategy() = static_cast<simplex_strategy_enum>(n);
+        settings.set_simplex_strategy(static_cast<simplex_strategy_enum>(n));
     }
 }