From 9f0d5c8015f4504bc8400cbb4247f38d9df62768 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sat, 24 May 2008 16:47:25 +0000
Subject: new protocol editor works.

---
 sources/core/VSProcess.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sources/core/VSProcess.java')

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;
-- 
cgit v1.2.3