Avoid casting to char* in prefetch()

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index e3fb6435471510bb80a91304bc0b322fec4ff7ca..28bf045255ccd8b6aae115020ce285cc4fafb651 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -28,11 +28,11 @@
 #include "types.h"
 
 const std::string engine_info(bool to_uci = false);
-void prefetch(char* addr);
+void prefetch(void* addr);
 void start_logger(bool b);
 
 void dbg_hit_on(bool b);
-void dbg_hit_on_c(bool c, bool b);
+void dbg_hit_on(bool c, bool b);
 void dbg_mean_of(int v);
 void dbg_print();