From 3f9a33e1d072df57fe626a7eeffe87e0d4cbb2dd Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 4 Oct 2013 14:50:39 +0200
Subject: [PATCH] updated doc

---
 qCheck.mli | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/qCheck.mli b/qCheck.mli
index b51b23d5..68ba6f49 100644
--- a/qCheck.mli
+++ b/qCheck.mli
@@ -51,14 +51,18 @@ Examples:
 
     - Not all lists are sorted:
 
-{[QCheck.run ~n:10 ~pp:QCheck.PP.(list int)
-  QCheck.Arbitrary.(list small_int) (fun l -> l = List.sort compare l);;
+{[
+let test = QCheck.(mk_test ~n:10 ~pp:QCheck.PP.(list int)
+  QCheck.Arbitrary.(list small_int) (fun l -> l = List.sort compare l));;
+QCheck.run test;;
 ]}
 
     - List.rev is involutive:
 
-{[QCheck.run ~n:1000 QCheck.Arbitrary.(list alpha)
-  (fun l -> List.rev (List.rev l) = l)
+{[
+let test = QCheck.mk_test ~n:1000 QCheck.Arbitrary.(list alpha)
+  (fun l -> List.rev (List.rev l) = l);;
+QCheck.run test;;
 ]}
 
     - generate a tree using {! Arbitrary.fix} :