diff --git a/src/adapters/ExplicitModelAdapter.h b/src/adapters/ExplicitModelAdapter.h
index 01c5805cf..308e2528d 100644
--- 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();
 	}