From: adam <adam@megacz.com>
Date: Tue, 4 Nov 2008 07:09:32 +0000 (+0100)
Subject: make DockOutPort non-final
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=7763dc3757cb07848c84aefc441cb06357d74a1c;p=fleet.git

make DockOutPort non-final
---

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); }