From c8a547aa345f9d041341b5d4d902aa798ada0772 Mon Sep 17 00:00:00 2001
From: Joseph Mirabel <jmirabel@laas.fr>
Date: Wed, 26 Sep 2018 14:27:29 +0200
Subject: [PATCH] Fix PoolStorage destructor

---
 src/dgraph/pool.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/dgraph/pool.cpp b/src/dgraph/pool.cpp
index 9e65176..280d046 100644
--- a/src/dgraph/pool.cpp
+++ b/src/dgraph/pool.cpp
@@ -79,7 +79,6 @@ PoolStorage::
       dgDEBUG(15) << "Delete \""
 		   << (iter->first) <<"\""<<std::endl;
       Entity* entity = iter->second;
-      deregisterEntity(iter);
       delete (entity);
     }
   instance_ = 0;
-- 
GitLab