diff --git a/src/misc.cpp b/src/misc.cpp index 41c59b3fd88..178465c1ad7 100644 --- a/src/misc.cpp +++ b/src/misc.cpp @@ -69,7 +69,7 @@ namespace { /// Version number. If Version is left empty, then compile date in the format /// DD-MM-YY and show in engine_info. -const string Version = ""; +const string Version = "15"; /// Our fancy logging facility. The trick here is to replace cin.rdbuf() and /// cout.rdbuf() with two Tie objects that tie cin and cout to a file stream. We