Restore development version

have fun!

No functional change

diff --git a/src/misc.cpp b/src/misc.cpp
index 22070f0e99619fbafc822a08cf95618bcac8e5c1..3fbdea35d94345db5b82ee96eaaffdf01bb28b96 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -65,7 +65,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 = "12";
+const string Version = "";
 
 /// 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