diff options
Diffstat (limited to 'test/unit/main/interactive_shell_black.h')
| -rw-r--r-- | test/unit/main/interactive_shell_black.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/main/interactive_shell_black.h b/test/unit/main/interactive_shell_black.h index 7773644da..d905923e2 100644 --- a/test/unit/main/interactive_shell_black.h +++ b/test/unit/main/interactive_shell_black.h @@ -26,7 +26,7 @@ #include "main/interactive_shell.h" #include "parser/parser_builder.h" #include "util/language.h" -#include "util/options.h" +#include "options/options.h" using namespace CVC4; using namespace std; @@ -59,9 +59,9 @@ private: d_exprManager = new ExprManager; d_sin = new stringstream; d_sout = new stringstream; - d_options.in = d_sin; - d_options.out = d_sout; - d_options.inputLanguage = language::input::LANG_CVC4; + d_options.set(options::in, d_sin); + d_options.set(options::out, d_sout); + d_options.set(options::inputLanguage, language::input::LANG_CVC4); } void tearDown() { |