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