From 7763dc3757cb07848c84aefc441cb06357d74a1c Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Tue, 4 Nov 2008 08:09:32 +0100
Subject: [PATCH] make DockOutPort non-final

---
 src/edu/berkeley/fleet/ir/Process.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/edu/berkeley/fleet/ir/Process.java b/src/edu/berkeley/fleet/ir/Process.java
index 4938b43..19b3079 100644
--- a/src/edu/berkeley/fleet/ir/Process.java
+++ b/src/edu/berkeley/fleet/ir/Process.java
@@ -196,7 +196,7 @@ public class Process {
             }
         }
 
-        public final class DockOutPort extends OutPort {
+        public /*final*/ class DockOutPort extends OutPort {
             public final Dock dock;
             public final int count;
             public DockOutPort(String name, Dock dock) { this(name, dock, 0); }
-- 
1.7.10.4