Stockfish DD

[stockfish] / src / misc.cpp

diff --git a/src/misc.cpp b/src/misc.cpp
index 28eff708852e024e7805ab86677cab05dcf3659d..d11ab8d785625fc471aa7bcaae19b00f31fd9c00 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -28,7 +28,7 @@ using namespace std;
 
 /// Version number. If Version is left empty, then compile date, in the
 /// format DD-MM-YY, is shown in engine_info.
-static const string Version = "";
+static const string Version = "DD";
 
 
 /// engine_info() returns the full name of the current Stockfish version. This
@@ -59,20 +59,13 @@ const string engine_info(bool to_uci) {
 }
 
 
-/// Convert system time to milliseconds. That's all we need.
-
-Time::point Time::now() {
-  sys_time_t t; system_time(&t); return time_to_msec(t);
-}
-
-
 /// Debug functions used mainly to collect run-time statistics
 
 static uint64_t hits[2], means[2];
 
-void dbg_hit_on(bool b) { hits[0]++; if (b) hits[1]++; }
+void dbg_hit_on(bool b) { ++hits[0]; if (b) ++hits[1]; }
 void dbg_hit_on_c(bool c, bool b) { if (c) dbg_hit_on(b); }
-void dbg_mean_of(int v) { means[0]++; means[1] += v; }
+void dbg_mean_of(int v) { ++means[0]; means[1] += v; }
 
 void dbg_print() {
 
@@ -82,7 +75,7 @@ void dbg_print() {
 
   if (means[0])
       cerr << "Total " << means[0] << " Mean "
-           << (float)means[1] / means[0] << endl;
+           << (double)means[1] / means[0] << endl;
 }