From 8d2d7f9ee4970225ae5f2268ddf5bd6f29d81455 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Wed, 6 Aug 2025 19:16:27 +0200 Subject: [PATCH] Avoid spurious clean slate levelization MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Martin PoviĊĦer --- search/Levelize.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/search/Levelize.cc b/search/Levelize.cc index 9effdad0..426b7819 100644 --- a/search/Levelize.cc +++ b/search/Levelize.cc @@ -26,6 +26,7 @@ #include #include +#include #include "Report.hh" #include "Debug.hh" @@ -51,7 +52,7 @@ Levelize::Levelize(StaState *sta) : levels_valid_(false), max_level_(0), level_space_(10), - max_incremental_level_(100), + max_incremental_level_(std::numeric_limits::max()), roots_(graph_), relevelize_from_(graph_), observer_(nullptr)