Commit 1b3cefc5 authored by Michael Hanus 's avatar Michael Hanus

Version date updated

parent 4e86c148
......@@ -29,7 +29,7 @@ import TransContracts (transContracts)
cppBanner :: String
cppBanner = unlines [bannerLine,bannerText,bannerLine]
where
bannerText = "Curry Preprocessor (version of 29/12/2018)"
bannerText = "Curry Preprocessor (version of 08/04/2019)"
bannerLine = take (length bannerText) (repeat '=')
--- Preprocessor targets, i.e., kind of entities to be preprocessed:
......
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