From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 14 Sep 2020 15:15:31 +0000 (-0700)
Subject: Fix type for Windows build (#5062)
X-Git-Tag: cvc5-1.0.0~2869
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c82d061abb0c011da2700051b7a0548f5d59904b;p=cvc5.git

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.
---

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];