From 71809f2867baad1acb373cee0fa1f86394c14370 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <semerath@mit.bme.hu>
Date: Mon, 13 Feb 2023 22:23:05 +0100
Subject: Potential synchronization issue fixed in
 VersionedMapStoreDeltaImpl.getStates

---
 .../main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'subprojects/store')

diff --git a/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java b/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java
index e556a8bb..f41a2d75 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java
@@ -78,7 +78,7 @@ public class VersionedMapStoreDeltaImpl<K, V> implements VersionedMapStore<K, V>
 
 	@Override
 	public synchronized Set<Long> getStates() {
-		return states.keySet();
+		return new HashSet<>(states.keySet());
 	}
 
 	@Override
-- 
cgit v1.2.3-70-g09d2