Remove "divide by zero" workaround

It is now useless because of the condition at the beginning.

No functional change.

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

diff --git a/src/misc.cpp b/src/misc.cpp
index 0fc151c51352600148848b4ef246669a9d623f5c..cb2ea168256d4ee2eaa5d55ae5e607b1d41c2242 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -104,14 +104,14 @@ void dbg_print_hit_rate() {
 
   if (dbg_hit_cnt0)
       cout << "Total " << dbg_hit_cnt0 << " Hit " << dbg_hit_cnt1
 
   if (dbg_hit_cnt0)
       cout << "Total " << dbg_hit_cnt0 << " Hit " << dbg_hit_cnt1

-           << " hit rate (%) " << 100 * dbg_hit_cnt1 / (dbg_hit_cnt0 + 1) << endl;
+           << " hit rate (%) " << 100 * dbg_hit_cnt1 / dbg_hit_cnt0 << endl;

 }
 
 void dbg_print_mean() {
 
   if (dbg_mean_cnt0)
       cout << "Total " << dbg_mean_cnt0 << " Mean "
 }
 
 void dbg_print_mean() {
 
   if (dbg_mean_cnt0)
       cout << "Total " << dbg_mean_cnt0 << " Mean "

-           << (float)dbg_mean_cnt1 / (dbg_mean_cnt0 + 1) << endl;
+           << (float)dbg_mean_cnt1 / dbg_mean_cnt0 << endl;

 }
 
 void dbg_mean_of(int v) {
 }
 
 void dbg_mean_of(int v) {