diff options
Diffstat (limited to 'test/unit/expr/attribute_white.h')
| -rw-r--r-- | test/unit/expr/attribute_white.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h index f1b782be2..de1795264 100644 --- a/test/unit/expr/attribute_white.h +++ b/test/unit/expr/attribute_white.h @@ -66,7 +66,7 @@ class AttributeWhite : public CxxTest::TestSuite { { d_em = new ExprManager(); d_nm = NodeManager::fromExprManager(d_em); - d_smtEngine = new SmtEngine(d_em); + d_smtEngine = new SmtEngine(d_nm); d_scope = new SmtScope(d_smtEngine); d_booleanType = new TypeNode(d_nm->booleanType()); } |