Fix dbg_mean_of() for negative numbers

Type should be int64_t instead of uint64_t

No functional change.

diff --git a/src/misc.cpp b/src/misc.cpp
index 99c00ebe4397e5a47677289c01936715224ebf84..13923a7b901a75b44ed879a610bf90c1d2e63bdb 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -61,7 +61,7 @@ const string engine_info(bool to_uci) {
 
 /// Debug functions used mainly to collect run-time statistics
 
 
 /// Debug functions used mainly to collect run-time statistics
 

-static uint64_t hits[2], means[2];
+static int64_t hits[2], means[2];

 
 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_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); }