From cb0e3035b25664e62e208bbcbbbeecb022e51316 Mon Sep 17 00:00:00 2001
From: megacz <adam@megacz.com>
Date: Fri, 12 Dec 2008 22:13:29 -0800
Subject: [PATCH] do not double-increment in InterpreterDestination

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

diff --git a/src/edu/berkeley/fleet/interpreter/InterpreterDestination.java b/src/edu/berkeley/fleet/interpreter/InterpreterDestination.java
index e228a4d..0646c7b 100644
--- 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++;
         }
     }
 
-- 
1.7.10.4