diff options
-rw-r--r-- | model-data/src/main/java/org/eclipse/viatra/solver/data/model/ModelStoreImpl.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/ModelStoreImpl.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/ModelStoreImpl.java index 38aaccc1..5955f7a6 100644 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/ModelStoreImpl.java +++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/ModelStoreImpl.java | |||
@@ -106,7 +106,7 @@ public class ModelStoreImpl implements ModelStore { | |||
106 | public synchronized Set<Long> getStates() { | 106 | public synchronized Set<Long> getStates() { |
107 | // if not empty, return first | 107 | // if not empty, return first |
108 | for(VersionedMapStore<?, ?> store : stores.values()) { | 108 | for(VersionedMapStore<?, ?> store : stores.values()) { |
109 | return store.getStates(); | 109 | return new HashSet<>(store.getStates()); |
110 | } | 110 | } |
111 | // if empty | 111 | // if empty |
112 | Set<Long> result = new HashSet<>(); | 112 | Set<Long> result = new HashSet<>(); |