diff options
Diffstat (limited to 'src/preprocessing/passes/bv_to_int.cpp')
| -rw-r--r-- | src/preprocessing/passes/bv_to_int.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/preprocessing/passes/bv_to_int.cpp b/src/preprocessing/passes/bv_to_int.cpp index 28dcc1949..9809adf63 100644 --- a/src/preprocessing/passes/bv_to_int.cpp +++ b/src/preprocessing/passes/bv_to_int.cpp @@ -155,7 +155,7 @@ Node BVToInt::eliminationPass(Node n) current = toVisit.back(); // assert that the node is binarized // The following variable is only used in assertions - CVC4_UNUSED kind::Kind_t k = current.getKind(); + CVC5_UNUSED kind::Kind_t k = current.getKind(); uint64_t numChildren = current.getNumChildren(); Assert((numChildren == 2) || !(k == kind::BITVECTOR_PLUS || k == kind::BITVECTOR_MULT @@ -342,7 +342,7 @@ Node BVToInt::translateWithChildren(Node original, Assert(oldKind != kind::BITVECTOR_ULTBV); Assert(oldKind != kind::BITVECTOR_SLTBV); // The following variable will only be used in assertions. - CVC4_UNUSED uint64_t originalNumChildren = original.getNumChildren(); + CVC5_UNUSED uint64_t originalNumChildren = original.getNumChildren(); Node returnNode; switch (oldKind) { |