1 files changed, 0 insertions, 23 deletions
diff --git a/sources/core/VSLamport.java b/sources/core/VSLamport.java
deleted file mode 100644
index 2d2c49e..0000000
--- a/sources/core/VSLamport.java
+++ /dev/null
@@ -1,23 +0,0 @@
-package core;
-
-public class VSLamportTime implements VSTime {
-    private long globalTime;
-    private long lamportTime;
-
-    public VSLamportTime(long globalTime, long lamportTime) {
-        this.globalTime = globalTime;
-        this.lamportTime = lamportTime;
-    }
-
-    public long getGlobalTime() {
-        return globalTime;
-    }
-
-    public long getLamportTime() {
-        return lamportTime;
-    }
-
-    public String toString() {
-        return "(" + lamportTime + ")";
-    }
-}