Avoid casting to char* in prefetch()
[stockfish] / src / misc.h
index 9d3c58c87d2859d16a1286155917c1816ec55f84..28bf045255ccd8b6aae115020ce285cc4fafb651 100644 (file)
@@ -28,7 +28,7 @@
 #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);