1 files changed, 0 insertions, 13 deletions

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMap.java b/store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMap.java
deleted file mode 100644
index 3a35b9f0..00000000
--- a/store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMap.java
+++ /dev/null
@@ -1,13 +0,0 @@
-package org.eclipse.viatra.solver.data.map;
-
-public interface VersionedMap<K,V> extends Versioned{
-        public V get(K key);
-        public Cursor<K,V> getAll();
-        
-        public V put(K key, V value);
-        public void putAll(Cursor<K,V> cursor);
-        
-        public long getSize();
-        
-        public DiffCursor<K,V> getDiffCursor(long state);
-}