Commit ed35bed0 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Typos corrected

parent 2370849f
*~
cdoc/
docs/*.aux
docs/*.pdf
docs/*.toc
docs/*.log
docs/*.out
docs/*.synctex.gz
.curry
.cpm
src/CC/Config.curry
......@@ -85,7 +85,7 @@ options =
"do not perform source code checks"
, Option "" ["noprop"]
(NoArg (\opts -> opts { optProp = False }))
"do not perform any property tests"
"do not perform property tests"
, Option "" ["nospec"]
(NoArg (\opts -> opts { optSpec = False }))
"do not perform specification/postcondition tests"
......
......@@ -55,12 +55,12 @@ ccBanner :: String
ccBanner = unlines [bannerLine,bannerText,bannerLine]
where
bannerText = "CurryCheck: a tool for testing Curry programs (Version " ++
packageVersion ++ " of 11/02/2018)"
packageVersion ++ " of 12/02/2018)"
bannerLine = take (length bannerText) (repeat '-')
-- Help text
usageText :: String
usageText = usageInfo ("Usage: curry check [options] <module names>\n") options
usageText = usageInfo ("Usage: curry-check [options] <module names>\n") options
--- Maximal arity of check functions and tuples currently supported:
maxArity :: Int
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment