diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-24 16:47:25 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-24 16:47:25 +0000 |
| commit | 9f0d5c8015f4504bc8400cbb4247f38d9df62768 (patch) | |
| tree | 5e5256f3ffe7810df3f873dbfeca86484b0629b6 /sources/core/VSProcess.java | |
| parent | 7040b1acc44805ab7208fa3975242c656cbc95a2 (diff) | |
new protocol editor works.
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; |