closed last memory leak...

12 years ago · 8f4f39d510
1 changed files with 5 additions and 9 deletions
--- a/src/adapters/ExplicitModelAdapter.h
+++ b/src/adapters/ExplicitModelAdapter.h
@ -424,12 +424,8 @@ private:
 						stateIndexToProbabilityMap[targetIndex] = it.second;
 					} else {
 						stateIndexToProbabilityMap[targetIndex] += it.second;
                        deleteQueue.push(it.first);
                    }
 					}
 				while (!deleteQueue.empty()) {  
                    delete deleteQueue.front(); 
                    deleteQueue.pop();
 					delete it.first;
 				}
 			}
 			for (auto targetIndex : stateIndexToProbabilityMap) {