Fix: "Ponder" option has type bool not int

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

diff --git a/src/search.cpp b/src/search.cpp
index c846812ed56ed87e8c49ae02a62209427f5f748e..71da3ec18a985f04b340b544959c396846184f6d 100644 (file)
--- a/src/search.cpp
+++ b/src/search.cpp
@@ -342,7 +342,7 @@ void think(const Position &pos, bool infinite, bool ponder, int time,
   TT.set_size(get_option_value_int("Hash"));
   if(button_was_pressed("Clear Hash"))
     TT.clear();
-  PonderingEnabled = get_option_value_int("Ponder");
+  PonderingEnabled = get_option_value_bool("Ponder");
   MultiPV = get_option_value_int("MultiPV");
 
   CheckExtension[1] = Depth(get_option_value_int("Check Extension (PV nodes)"));