fixed another more memory leak. One still missing...

12 years ago · 34ca097eb3
1 changed files with 3 additions and 0 deletions
--- a/src/adapters/ExplicitModelAdapter.h
+++ b/src/adapters/ExplicitModelAdapter.h
@ -489,6 +489,9 @@ private:
 	}

 	void clearReachableStateSpace() {
+		for (auto it : allStates) {
+			delete it;
+		}
 		allStates.clear();
 		stateToIndexMap.clear();
 	}