From 023377f3c88effb23a56f4730b6a5ef590945339 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 25 Jan 2026 21:10:02 -0800
Subject: [PATCH] fix underflow bug

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

diff --git a/src/util/util.h b/src/util/util.h
index fc123c371..0056c132f 100644
--- a/src/util/util.h
+++ b/src/util/util.h
@@ -363,7 +363,7 @@ public:
 template<typename T>
 void shuffle(std::span<T> array, random_gen & gen) {
     auto n = array.size();
-    while (--n > 0) {
+    while (n-- > 0) {
         int k = gen() % (n + 1);
         std::swap(array[n], array[k]);
     }