-;
- const char date[] = __DATE__ " " __TIME__;
- const char copyright[] = "Copyright (c) 2010, Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>";
+ );
+
+ const std::string date
+ (__DATE__ " " __TIME__);
+
+ const std::string copyright
+ ("Copyright (c) 2010-2018, Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>");