From 0864b407dd266fcabca36b76435def65f960665f Mon Sep 17 00:00:00 2001
From: Thomas Fischer <thomas.fischer@ufz.de>
Date: Fri, 11 Jun 2021 09:18:47 +0200
Subject: [PATCH] [NL/DOF] Remove pair with deleted pointer from vector.

---
 NumLib/DOF/SimpleMatrixVectorProvider.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/NumLib/DOF/SimpleMatrixVectorProvider.cpp b/NumLib/DOF/SimpleMatrixVectorProvider.cpp
index a65e680806b..b3b934fbaf7 100644
--- a/NumLib/DOF/SimpleMatrixVectorProvider.cpp
+++ b/NumLib/DOF/SimpleMatrixVectorProvider.cpp
@@ -65,6 +65,7 @@ void SimpleMatrixVectorProvider::releaseMatrix(GlobalMatrix const& A)
     else
     {
         delete it->first;
+        _used_matrices.erase(it);
     }
 }
 
@@ -129,6 +130,7 @@ void SimpleMatrixVectorProvider::releaseVector(GlobalVector const& x)
     else
     {
         delete it->first;
+        _used_vectors.erase(it);
     }
 }
 
@@ -149,7 +151,6 @@ SimpleMatrixVectorProvider::~SimpleMatrixVectorProvider()
             _used_vectors.size());
     }
 
-    /*
     for (auto& ptr_id : _used_matrices)
     {
         delete ptr_id.first;
@@ -159,7 +160,6 @@ SimpleMatrixVectorProvider::~SimpleMatrixVectorProvider()
     {
         delete ptr_id.first;
     }
-    */
 }
 
 }  // namespace NumLib
-- 
GitLab