From c82d061abb0c011da2700051b7a0548f5d59904b Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Mon, 14 Sep 2020 08:15:31 -0700 Subject: [PATCH] Fix type for Windows build (#5062) The BVToInt preprocessing pass was using uint, which appears to be undefined when we cross-compile for Windows. This commit fixes the issue by using size_t. --- src/preprocessing/passes/bv_to_int.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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]; -- 2.30.2