diff options
Diffstat (limited to 'test/unit/main/interactive_shell_black.cpp')
-rw-r--r-- | test/unit/main/interactive_shell_black.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/main/interactive_shell_black.cpp b/test/unit/main/interactive_shell_black.cpp index 71ad2b1f4..8af29a8e4 100644 --- a/test/unit/main/interactive_shell_black.cpp +++ b/test/unit/main/interactive_shell_black.cpp @@ -39,7 +39,7 @@ class TestMainBlackInteractiveShell : public TestInternal 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_CVC4); + d_options.set(options::inputLanguage, language::input::LANG_CVC); d_solver.reset(new cvc5::api::Solver(&d_options)); d_symman.reset(new SymbolManager(d_solver.get())); } |