From a84be333dde9f1e8ad4b70e05c534d7e9e1226f5 Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Sun, 12 Apr 2020 14:00:42 -0700 Subject: 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(-) (limited to 'gnu/packages/haskell-xyz.scm') 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))) -- cgit v1.2.3