Debugging: print to file

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index 498263c68f9e7a19c0396638d53914832c29ad06..49758bec7677dec604499bd0dd459197a3943393 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -26,6 +26,7 @@
 //// Includes
 ////
 
+#include <fstream>
 #include <string>
 
 
@@ -60,6 +61,7 @@ extern int Bioskey();
 ////
 //// Debug
 ////
+
 extern bool dbg_show_mean;
 extern bool dbg_show_hit_rate;
 
@@ -76,5 +78,7 @@ inline void dbg_mean_of(int v) { dbg_cnt0++; dbg_cnt1 += v; }
 
 extern void dbg_print_hit_rate();
 extern void dbg_print_mean();
+extern void dbg_print_hit_rate(std::ofstream& logFile);
+extern void dbg_print_mean(std::ofstream& logFile);
 
 #endif // !defined(MISC_H_INCLUDED)