1 files changed, 0 insertions, 7 deletions

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/map/Versioned.java b/store/src/main/java/org/eclipse/viatra/solver/data/map/Versioned.java
deleted file mode 100644
index e46be237..00000000
--- a/store/src/main/java/org/eclipse/viatra/solver/data/map/Versioned.java
+++ /dev/null
@@ -1,7 +0,0 @@
-package org.eclipse.viatra.solver.data.map;
-
-public interface Versioned {
-        public long commit();
-        //maybe revert()?
-        public void restore(long state);
-}