From ef80e69e2e6d2402cd7c0267a774a998261cad1c Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Fri, 10 Aug 2018 14:34:33 +0200
Subject: [PATCH] Fix mistake in freeing object in the Pool destructor. Spotted
by M. Naveau.
---
src/dgraph/pool.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/dgraph/pool.cpp b/src/dgraph/pool.cpp
index b25d28d..00bc4b0 100644
--- a/src/dgraph/pool.cpp
+++ b/src/dgraph/pool.cpp
@@ -60,7 +60,7 @@ PoolStorage::
dgDEBUGIN(15);
for( Entities::iterator iter=entityMap.begin (); iter!=entityMap.end ();
- iter=entityMap.begin ())
+ iter++)
{
dgDEBUG(15) << "Delete \""
<< (iter->first) <<"\""<<std::endl;
--
GitLab