From bfb3db8b136dd975ded5959e4a3f70541b55ddd3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 28 Oct 2022 19:18:24 -0700
Subject: [PATCH] for loop style

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/smt/xor_matrix_finder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/smt/xor_matrix_finder.cpp b/src/sat/smt/xor_matrix_finder.cpp
index f230c7931..56954525e 100644
--- a/src/sat/smt/xor_matrix_finder.cpp
+++ b/src/sat/smt/xor_matrix_finder.cpp
@@ -141,7 +141,7 @@ namespace xr {
         uint32_t unusedMatrix = 0;
         uint32_t too_few_rows_matrix = 0;
         uint32_t unused_matrix_printed = 0;
-        for (int a = m_matrix_no - 1; a >= 0; a--) {
+        for (unsigned a = m_matrix_no; a-- > 0; ) {
             matrix_shape& m = matrix_shapes[a];
             uint32_t i = m.m_num;
             if (m.m_rows == 0) {