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)