Commit 3057cfc4 authored by Michael Hanus 's avatar Michael Hanus

Date updated

parent 2e6e869c
......@@ -34,7 +34,7 @@ import CASS.PackageConfig (packagePath, packageExecutable, packageVersion)
systemBanner :: String
systemBanner =
let bannerText = "CASS: Curry Analysis Server System (Version " ++
packageVersion ++ " of 10/09/2018 for " ++
packageVersion ++ " of 13/09/2018 for " ++
curryCompiler ++ ")"
bannerLine = take (length bannerText) (repeat '=')
in bannerLine ++ "\n" ++ bannerText ++ "\n" ++ bannerLine
......
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