diff options
Diffstat (limited to 'test/unit/node/node_manager_white.cpp')
| -rw-r--r-- | test/unit/node/node_manager_white.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/node/node_manager_white.cpp b/test/unit/node/node_manager_white.cpp index 66ac65cb5..a13e76d03 100644 --- a/test/unit/node/node_manager_white.cpp +++ b/test/unit/node/node_manager_white.cpp @@ -64,8 +64,8 @@ TEST_F(TestNodeWhiteNodeManager, oversized_node_builder) TEST_F(TestNodeWhiteNodeManager, topological_sort) { TypeNode boolType = d_nodeManager->booleanType(); - Node i = d_nodeManager->mkSkolem("i", boolType); - Node j = d_nodeManager->mkSkolem("j", boolType); + Node i = d_skolemManager->mkDummySkolem("i", boolType); + Node j = d_skolemManager->mkDummySkolem("j", boolType); Node n1 = d_nodeManager->mkNode(kind::AND, j, j); Node n2 = d_nodeManager->mkNode(kind::AND, i, n1); |