diff --git a/src/opt/maxres.cpp b/src/opt/maxres.cpp index 178b87037..f0345232d 100644 --- a/src/opt/maxres.cpp +++ b/src/opt/maxres.cpp @@ -718,7 +718,7 @@ public: } } - if (upper >= m_upper) { + if (upper > m_upper) { return; }