Version date updated

058fccac · Michael Hanus · de79b8b5 · 058fccac
Commit 058fccac authored Jan 03, 2021 by Michael Hanus
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/Main.curry src/Main.curry +1 -1

No files found.
--- a/src/Main.curry
+++ b/src/Main.curry
@@ -32,7 +32,7 @@ import TransICode           ( translateIntCode )
 cppBanner :: String
 cppBanner = unlines [bannerLine,bannerText,bannerLine]
 where
-   bannerText = "Curry Preprocessor (version of 16/12/2020)"
+   bannerText = "Curry Preprocessor (version of 03/01/2021)"
   bannerLine = take (length bannerText) (repeat '=')

 --- Preprocessor targets, i.e., kind of entities to be preprocessed: