summaryrefslogtreecommitdiff
path: root/gnu/packages/haskell-xyz.scm
diff options
context:
space:
mode:
authorVagrant Cascadian <vagrant@debian.org>2020-04-12 14:00:42 -0700
committerVagrant Cascadian <vagrant@debian.org>2020-04-12 14:08:45 -0700
commita84be333dde9f1e8ad4b70e05c534d7e9e1226f5 (patch)
tree8dbcc9458139affc885bad238e12fae2f299d788 /gnu/packages/haskell-xyz.scm
parent60738bdc59ca8b566845bd539e3bdc1beb627c5d (diff)
downloadpatches-a84be333dde9f1e8ad4b70e05c534d7e9e1226f5.tar
patches-a84be333dde9f1e8ad4b70e05c534d7e9e1226f5.tar.gz
gnu: ghc-smallcheck: Fix grammar of "allows to verify" to "verifies".
* gnu/packages/haskell-xyz (ghc-smallcheck): Fix grammar.
Diffstat (limited to 'gnu/packages/haskell-xyz.scm')
-rw-r--r--gnu/packages/haskell-xyz.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index d22a08e7fb..c9119efd69 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -10780,7 +10780,7 @@ provided. Skylighting is intended to be the successor to highlighting-kate.")
(home-page
"https://github.com/feuerbach/smallcheck")
(synopsis "Property-based testing library")
- (description "SmallCheck is a testing library that allows to verify
+ (description "SmallCheck is a testing library that verifies
properties for all test cases up to some depth. The test cases are generated
automatically by SmallCheck.")
(license license:bsd-3)))