Commit 0a5d290a authored by Michael Hanus's avatar Michael Hanus
Browse files

Version date updated

parent fd6e3e79
......@@ -29,7 +29,7 @@ import TransContracts (transContracts)
cppBanner :: String
cppBanner = unlines [bannerLine,bannerText,bannerLine]
bannerText = "Curry Preprocessor (version of 09/01/2018)"
bannerText = "Curry Preprocessor (version of 29/12/2018)"
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