Commit 2d843e66 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Version date updated

parent a26aa100
......@@ -66,7 +66,7 @@ ccBanner :: String
ccBanner = unlines [bannerLine,bannerText,bannerLine]
where
bannerText = "CurryCheck: a tool for testing Curry programs (Version " ++
packageVersion ++ " of 27/12/2020)"
packageVersion ++ " of 03/01/2021)"
bannerLine = take (length bannerText) (repeat '-')
-- Help text
......
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