diff --git a/src/util/lp/mps_reader.h b/src/util/lp/mps_reader.h index 2ef07af6e..bc2a8432e 100644 --- a/src/util/lp/mps_reader.h +++ b/src/util/lp/mps_reader.h @@ -754,10 +754,7 @@ public: } for (auto s : m_columns) { auto col = s.second; - auto b = col->m_bound; - if (b != nullptr) { - delete b; - } + delete col->m_bound; delete col; } }