From 8f4f39d510740a5a47bc6c8adde2b4fbc15d2ab8 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Mon, 25 Feb 2013 16:17:00 +0100
Subject: [PATCH] closed last memory leak...

---
 src/adapters/ExplicitModelAdapter.h | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/src/adapters/ExplicitModelAdapter.h b/src/adapters/ExplicitModelAdapter.h
index 308e2528d..96a76d178 100644
--- a/src/adapters/ExplicitModelAdapter.h
+++ b/src/adapters/ExplicitModelAdapter.h
@@ -421,16 +421,12 @@ private:
 					uint_fast64_t targetIndex = stateToIndexMap[it.first];
 					auto s = stateIndexToProbabilityMap.find(targetIndex);
 					if (s == stateIndexToProbabilityMap.end()) {
-                        stateIndexToProbabilityMap[targetIndex] = it.second;
-                    } else {
-                    	stateIndexToProbabilityMap[targetIndex] += it.second;
-                        deleteQueue.push(it.first);
-                    }
+						stateIndexToProbabilityMap[targetIndex] = it.second;
+					} else {
+						stateIndexToProbabilityMap[targetIndex] += it.second;
+					}
+					delete it.first;
 				}
-				while (!deleteQueue.empty()) {  
-                    delete deleteQueue.front(); 
-                    deleteQueue.pop();
-                }
 			}
 			for (auto targetIndex : stateIndexToProbabilityMap) {
 				resultMatrix->addNextValue(currentIndex, targetIndex.first, targetIndex.second);