do not double-increment in InterpreterDestination

diff --git a/src/edu/berkeley/fleet/interpreter/InterpreterDestination.java b/src/edu/berkeley/fleet/interpreter/InterpreterDestination.java
index e228a4d..0646c7b 100644 (file)
--- a/src/edu/berkeley/fleet/interpreter/InterpreterDestination.java
+++ b/src/edu/berkeley/fleet/interpreter/InterpreterDestination.java
@@ -17,7 +17,7 @@ class InterpreterDestination extends Destination {
         this.isInstructionDestination = isInstructionDestination;
         synchronized(InterpreterDestination.class) {
             this.addr = max_dest;
-            max_dest += 2;
+            max_dest++;
         }
     }