diff options
Diffstat (limited to 'src/preprocessing')
| -rw-r--r-- | src/preprocessing/passes/bv_to_int.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/bv_to_int.cpp b/src/preprocessing/passes/bv_to_int.cpp index c219deefe..65703e40c 100644 --- a/src/preprocessing/passes/bv_to_int.cpp +++ b/src/preprocessing/passes/bv_to_int.cpp @@ -877,7 +877,7 @@ Node BVToInt::reconstructNode(Node originalNode, { builder << originalNode.getOperator(); } - for (uint i = 0; i < originalNode.getNumChildren(); i++) + for (size_t i = 0; i < originalNode.getNumChildren(); i++) { Node originalChild = originalNode[i]; Node translatedChild = translated_children[i]; |