summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
authorVagrant Cascadian <vagrant@debian.org>2020-04-12 13:24:39 -0700
committerVagrant Cascadian <vagrant@debian.org>2020-04-12 13:34:59 -0700
commitbf052724599a9da7fa66a380fc6c2c00369b0c99 (patch)
tree4fd00708c54d1117d9f4ac89ca276b541cfabdb6 /gnu/packages/ocaml.scm
parent48b0d9c071397a5de5b5c2c5b8bc4b87b757bcc2 (diff)
gnu: ocaml-qcheck: Fix grammar of "allows to check" to "checks".
* gnu/packages/ocaml (ocaml-qcheck): Fix grammar.
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 84efe2c1de..8e48e3d8b6 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1179,7 +1179,7 @@ GNU CC attributes. It provides also a C pretty printer as an example of use.")
(home-page "https://github.com/c-cube/qcheck")
(synopsis "QuickCheck inspired property-based testing for OCaml")
(description "QuickCheck inspired property-based testing for OCaml. This
-module allows to check invariants (properties of some types) over randomly
+module checks invariants (properties of some types) over randomly
generated instances of the type. It provides combinators for generating
instances and printing them.")
(license license:lgpl3+)))