diff options
Diffstat (limited to 'test/unit/node/node_builder_black.cpp')
| -rw-r--r-- | test/unit/node/node_builder_black.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/node/node_builder_black.cpp b/test/unit/node/node_builder_black.cpp index fc8b6fb7b..05ccfc90c 100644 --- a/test/unit/node/node_builder_black.cpp +++ b/test/unit/node/node_builder_black.cpp @@ -62,14 +62,14 @@ TEST_F(TestNodeBlackNodeBuilder, ctors) ASSERT_EQ(spec.getKind(), d_specKind); ASSERT_EQ(spec.getNumChildren(), 0u); - NodeBuilder from_nm(d_nodeManager.get()); + NodeBuilder from_nm(d_nodeManager); ASSERT_EQ(from_nm.getKind(), UNDEFINED_KIND); #ifdef CVC5_ASSERTIONS ASSERT_DEATH(from_nm.getNumChildren(), "getKind\\(\\) != kind::UNDEFINED_KIND"); #endif - NodeBuilder from_nm_kind(d_nodeManager.get(), d_specKind); + NodeBuilder from_nm_kind(d_nodeManager, d_specKind); ASSERT_EQ(from_nm_kind.getKind(), d_specKind); ASSERT_EQ(from_nm_kind.getNumChildren(), 0u); |