Add some tablebase positions to bench

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index 970f335d1b74f5f2bad89fe782a6479ab26b69d3..420347f43faf46313fe06a3991f3e9c7bbd02a91 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -26,15 +26,15 @@
 
 #include "types.h"
 
-extern const std::string engine_info(bool to_uci = false);
-extern void timed_wait(WaitCondition&, Lock&, int);
-extern void prefetch(char* addr);
-extern void start_logger(bool b);
+const std::string engine_info(bool to_uci = false);
+void timed_wait(WaitCondition&, Lock&, int);
+void prefetch(char* addr);
+void start_logger(bool b);
 
-extern void dbg_hit_on(bool b);
-extern void dbg_hit_on_c(bool c, bool b);
-extern void dbg_mean_of(int v);
-extern void dbg_print();
+void dbg_hit_on(bool b);
+void dbg_hit_on_c(bool c, bool b);
+void dbg_mean_of(int v);
+void dbg_print();
 
 
 namespace Time {
@@ -46,7 +46,7 @@ namespace Time {
 template<class Entry, int Size>
 struct HashTable {
   HashTable() : table(Size, Entry()) {}
-  Entry* operator[](Key k) { return &table[(uint32_t)k & (Size - 1)]; }
+  Entry* operator[](Key key) { return &table[(uint32_t)key & (Size - 1)]; }
 
 private:
   std::vector<Entry> table;