diff options
Diffstat (limited to 'src/preprocessing/passes/bv_to_int.cpp')
| -rw-r--r-- | src/preprocessing/passes/bv_to_int.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/preprocessing/passes/bv_to_int.cpp b/src/preprocessing/passes/bv_to_int.cpp index 510d35419..c5f24c15c 100644 --- a/src/preprocessing/passes/bv_to_int.cpp +++ b/src/preprocessing/passes/bv_to_int.cpp @@ -116,7 +116,7 @@ Node BVToInt::makeBinary(Node n) else if (numChildren > 0) { // current has children, but we do not binarize it - NodeBuilder<> builder(k); + NodeBuilder builder(k); if (current.getMetaKind() == kind::metakind::PARAMETERIZED) { builder << current.getOperator(); @@ -220,7 +220,7 @@ Node BVToInt::eliminationPass(Node n) { // The main operator is replaced, and the children // are replaced with their eliminated counterparts. - NodeBuilder<> builder(current.getKind()); + NodeBuilder builder(current.getKind()); if (current.getMetaKind() == kind::metakind::PARAMETERIZED) { builder << current.getOperator(); @@ -886,7 +886,7 @@ Node BVToInt::reconstructNode(Node originalNode, // first, we adjust the children of the node as needed. // re-construct the term with the adjusted children. kind::Kind_t oldKind = originalNode.getKind(); - NodeBuilder<> builder(oldKind); + NodeBuilder builder(oldKind); if (originalNode.getMetaKind() == kind::metakind::PARAMETERIZED) { builder << originalNode.getOperator(); |