diff options
Diffstat (limited to 'sources/core/time/VSLamportTime.java')
| -rw-r--r-- | sources/core/time/VSLamportTime.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/core/time/VSLamportTime.java b/sources/core/time/VSLamportTime.java index c3b138b..e78970f 100644 --- a/sources/core/time/VSLamportTime.java +++ b/sources/core/time/VSLamportTime.java @@ -9,6 +9,7 @@ package core.time; * This class defined how the lamport timestamps are represented. */ public class VSLamportTime implements VSTime { + private static final long serialVersionUID = 1L; /** Specified the global time of the lamport timestamp. It's used for correct painting in the simulator paint area. */ private long globalTime; |