summary refs log tree commit diff
path: root/gnu
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
parent60738bdc59ca8b566845bd539e3bdc1beb627c5d (diff)
downloadguix-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')
-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)))