Commit b50c4a44 authored by Michael Hanus 's avatar Michael Hanus

Update version date

parent 4a02ab83
...@@ -14,7 +14,7 @@ ...@@ -14,7 +14,7 @@
--- (together with possible preconditions). --- (together with possible preconditions).
--- ---
--- @author Michael Hanus, Jan-Patrick Baye --- @author Michael Hanus, Jan-Patrick Baye
--- @version December 2018 --- @version January 2019
------------------------------------------------------------------------- -------------------------------------------------------------------------
import Char ( toUpper ) import Char ( toUpper )
...@@ -61,7 +61,7 @@ ccBanner :: String ...@@ -61,7 +61,7 @@ ccBanner :: String
ccBanner = unlines [bannerLine,bannerText,bannerLine] ccBanner = unlines [bannerLine,bannerText,bannerLine]
where where
bannerText = "CurryCheck: a tool for testing Curry programs (Version " ++ bannerText = "CurryCheck: a tool for testing Curry programs (Version " ++
packageVersion ++ " of 30/12/2018)" packageVersion ++ " of 02/01/2019)"
bannerLine = take (length bannerText) (repeat '-') bannerLine = take (length bannerText) (repeat '-')
-- Help text -- 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