From b15fa309841380dbd8b1aae799d2720ea9d9f520 Mon Sep 17 00:00:00 2001 From: Christopher League Date: Sun, 22 May 2011 20:44:03 -0400 Subject: [PATCH] Minor wording change in doc string. --- src/QCHECK_SIG.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/QCHECK_SIG.sml b/src/QCHECK_SIG.sml index 7b3bd02..ebaf7b0 100644 --- a/src/QCHECK_SIG.sml +++ b/src/QCHECK_SIG.sml @@ -75,7 +75,7 @@ from the file system, etc. @end enumerate -We provide two specializations of @code{check} that are useful in +We provide several specializations of @code{check} that are useful in particular circumstances. First, @code{checkGen} is for checking randomly generated test cases. The random number stream is implicit, and the reader is always a generator from the @code{Gen} module.