diff options
Diffstat (limited to 'test/unit/util')
-rw-r--r-- | test/unit/util/boolean_simplification_black.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/unit/util/boolean_simplification_black.h b/test/unit/util/boolean_simplification_black.h index 355d4ff37..4c0eb81cc 100644 --- a/test/unit/util/boolean_simplification_black.h +++ b/test/unit/util/boolean_simplification_black.h @@ -18,6 +18,7 @@ #include <set> #include <vector> +#include "expr/expr_iomanip.h" #include "expr/kind.h" #include "expr/node.h" #include "expr/node_manager.h" @@ -102,7 +103,7 @@ public: TS_ASSERT_LESS_THAN_EQUALS(10u, BooleanSimplification::DUPLICATE_REMOVAL_THRESHOLD); - cout << Expr::setdepth(-1) + cout << expr::ExprSetDepth(-1) << language::SetLanguage(language::output::LANG_CVC4); } |