diff options
Diffstat (limited to 'src/preprocessing/passes/bv_to_bool.cpp')
-rw-r--r-- | src/preprocessing/passes/bv_to_bool.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/preprocessing/passes/bv_to_bool.cpp b/src/preprocessing/passes/bv_to_bool.cpp index 9f219e7a4..a8382974c 100644 --- a/src/preprocessing/passes/bv_to_bool.cpp +++ b/src/preprocessing/passes/bv_to_bool.cpp @@ -220,7 +220,7 @@ Node BVToBool::convertBvTerm(TNode node) default: Unhandled(); } - NodeBuilder<> builder(new_kind); + NodeBuilder builder(new_kind); for (unsigned i = 0; i < node.getNumChildren(); ++i) { builder << convertBvTerm(node[i]); @@ -254,7 +254,7 @@ Node BVToBool::liftNode(TNode current) } else { - NodeBuilder<> builder(current.getKind()); + NodeBuilder builder(current.getKind()); if (current.getMetaKind() == kind::metakind::PARAMETERIZED) { builder << current.getOperator(); |