diff options
| -rw-r--r-- | common/place.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/common/place.cc b/common/place.cc index 0bb5f3af..ea9f5e34 100644 --- a/common/place.cc +++ b/common/place.cc @@ -415,8 +415,7 @@ void place_design_heuristic(Design *design) else ++n_no_progress; - if (state.temp <= 1e-3 - /*&& n_no_progress >= 5*/) + if (state.temp <= 1e-3 && n_no_progress >= 5) break; double Raccept = (double)state.n_accept / (double)state.n_move; |