Fixed a small off-by-one error in the initialization of the FastRando…

…mIntGenerator. (#423)
ad-freiburg · Jul 16, 2021 · 6f880d7 · 6f880d7
1 parent 4308ec2
commit 6f880d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/Random.h b/src/util/Random.h
@@ -29,7 +29,7 @@ class FastRandomIntGenerator {
   FastRandomIntGenerator() {
     // Randomly initialize the shuffleTable
     std::random_device seeder{};
-    for (size_t i = 0; i <= _shuffleTable.size(); ++i) {
+    for (size_t i = 0; i < _shuffleTable.size(); ++i) {
       _shuffleTable[i] = seeder();
     }
   }