Skip to content

Commit 189a025

Browse files
committed
fix QCheck2 examples in doc
1 parent f750ccf commit 189a025

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/core/QCheck2.mli

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ content will appear. *)
3939
{[
4040
let test =
4141
QCheck2.(Test.make ~count:1000
42-
~pp:Print.(list int)
42+
~print:Print.(list int)
4343
Gen.(list int)
4444
(fun l -> List.rev (List.rev l) = l));;
4545
@@ -58,7 +58,7 @@ content will appear. *)
5858
Test.make
5959
~name:"All lists are sorted"
6060
~count:10_000
61-
~pp:Print.(list small_nat)
61+
~print:Print.(list int)
6262
Gen.(list small_nat)
6363
(fun l -> l = List.sort compare l));;
6464

0 commit comments

Comments
 (0)