From 61ac006cbe2730efed5942916952980c207c9857 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 22 Mar 2019 10:32:33 -0700 Subject: [PATCH] Remove unnecessary null pointer checks --- src/util/lp/mps_reader.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) 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; } }