01/05: gnu: ghc-smallcheck: Fix grammar of "allows to verify" to "verifies".

[guix-commits]

vagrantc pushed a commit to branch master
in repository guix.

commit a84be333dde9f1e8ad4b70e05c534d7e9e1226f5
Author: Vagrant Cascadian <address@hidden>
AuthorDate: Sun Apr 12 14:00:42 2020 -0700

    gnu: ghc-smallcheck: Fix grammar of "allows to verify" to "verifies".
    
    * gnu/packages/haskell-xyz (ghc-smallcheck): Fix grammar.
---
 gnu/packages/haskell-xyz.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index d22a08e..c9119ef 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)))