Fix bugs in debug printing
authorSimon Marlow <marlowsd@gmail.com>
Tue, 4 Nov 2014 15:52:23 +0000 (15:52 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 5 Nov 2014 18:13:50 +0000 (18:13 +0000)
rts/Disassembler.c

index 6b7fa82..f6e2c93 100644 (file)
@@ -288,7 +288,7 @@ void disassemble( StgBCO *bco )
 
    debugBelch("BCO\n" );
    pc = 0;
-   while (pc <= nbcs) {
+   while (pc < nbcs) {
       debugBelch("\t%2d:  ", pc );
       pc = disInstr ( bco, pc );
    }
@@ -312,7 +312,6 @@ void disassemble( StgBCO *bco )
    debugBelch("\n");
 
    debugBelch("\n");
-   ASSERT(pc == nbcs+1);
 }
 
 #endif /* DEBUG */