Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Browse files

Minor wording change in doc string.

  • Loading branch information...
1 parent f73a5e3 commit b15fa309841380dbd8b1aae799d2720ea9d9f520 @league committed
Showing with 1 addition and 1 deletion.
  1. +1 −1  src/QCHECK_SIG.sml
2  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.

0 comments on commit b15fa30

Please sign in to comment.
Something went wrong with that request. Please try again.