diff options
Diffstat (limited to 'sources/core/VSProcess.java')
| -rw-r--r-- | sources/core/VSProcess.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/core/VSProcess.java b/sources/core/VSProcess.java index ad3af56..faa7a09 100644 --- a/sources/core/VSProcess.java +++ b/sources/core/VSProcess.java @@ -11,7 +11,7 @@ import protocols.*; import simulator.*; import utils.*; -public final class VSProcess extends VSPrefs { +public class VSProcess extends VSPrefs { private ArrayList<VSProtocol> protocolsToReset; private ArrayList<Long> crashHistory; private ArrayList<VSLamportTime> lamportTimeHistory; |