Print dbg counters after bench

mcostalba · mcostalba · commit ca0804dfe431 · 2014-03-11T22:19:14.000+01:00
Print last debug counters update just
before to exit benchmark.

Suggested by Stephane Nicolet.

No functional change.
diff --git a/src/benchmark.cpp b/src/benchmark.cpp
@@ -152,6 +152,8 @@ void benchmark(const Position& current, istream& is) {
 
   elapsed = Time::now() - elapsed + 1; // Ensure positivity to avoid a 'divide by zero'
 
+  dbg_print(); // Just before to exit
+
   cerr << "\n==========================="
        << "\nTotal time (ms) : " << elapsed
        << "\nNodes searched  : " << nodes
