Merge pull request #291 from jmid/qcheck2-state-res-warning

Make QCheck2.state.res immutable
c-cube · Jul 4, 2024 · 7f872f2 · 7f872f2
2 parents 2ca480c + d6102ec
commit 7f872f2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,7 @@
 
 - Remove `QCheck2.TestResult.get_instances` as retaining previous test inputs
   cause memory leaks
+- Make `QCheck2.state.res` immutable, silencing a compilation warning
 
 ## 0.21.3
 

diff --git a/src/core/QCheck2.ml b/src/core/QCheck2.ml
@@ -1562,7 +1562,7 @@ module Test = struct
     step: 'a step;
     handler : 'a handler;
     rand: RS.t;
-    mutable res: 'a TestResult.t;
+    res: 'a TestResult.t;
     mutable cur_count: int;  (** number of iterations remaining to do *)
     mutable cur_max_gen: int; (** maximum number of generations allowed *)
     mutable cur_max_fail: int; (** maximum number of counter-examples allowed *)