From 0133367f9ed242aa01e42867364c7be74ffe5618 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Sat, 29 May 2021 09:09:34 +0200 Subject: Remove `Options::set()` method (#6556) This PR gets rid of the Options::set() method, replacing it by direct access to the options data. This method was only used internally and did nothing except for resolving the options data from the option tag type via template specializations (via ref()), which is no longer necessary. --- test/unit/main/interactive_shell_black.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'test/unit/main') diff --git a/test/unit/main/interactive_shell_black.cpp b/test/unit/main/interactive_shell_black.cpp index 8af29a8e4..9a1a46da4 100644 --- a/test/unit/main/interactive_shell_black.cpp +++ b/test/unit/main/interactive_shell_black.cpp @@ -37,9 +37,9 @@ class TestMainBlackInteractiveShell : public TestInternal TestInternal::SetUp(); d_sin.reset(new std::stringstream); d_sout.reset(new std::stringstream); - d_options.set(options::in, d_sin.get()); - d_options.set(options::out, d_sout.get()); - d_options.set(options::inputLanguage, language::input::LANG_CVC); + d_options.base.in = d_sin.get(); + d_options.base.out = d_sout.get(); + d_options.base.inputLanguage = language::input::LANG_CVC; d_solver.reset(new cvc5::api::Solver(&d_options)); d_symman.reset(new SymbolManager(d_solver.get())); } -- cgit v1.2.3