Use 64 bits for debug counters

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index d74424d0933ab4d6ff54473d8798a4dfabe7fc3a..d954f0a3302467d16d3cc7ad9f169ff13ba97149 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -30,6 +30,7 @@
 #include <string>
 
 #include "application.h"
+#include "types.h"
 
 ////
 //// Macros
@@ -56,8 +57,8 @@ extern int Bioskey();
 extern bool dbg_show_mean;
 extern bool dbg_show_hit_rate;
 
-extern long dbg_cnt0;
-extern long dbg_cnt1;
+extern uint64_t dbg_cnt0;
+extern uint64_t dbg_cnt1;
 
 extern void dbg_hit_on(bool b);
 extern void dbg_hit_on_c(bool c, bool b);