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