diff options
Diffstat (limited to 'lo2.ml')
-rw-r--r-- | lo2.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lo2.ml b/lo2.ml index 0f51a10..8623fff 100644 --- a/lo2.ml +++ b/lo2.ml @@ -476,7 +476,7 @@ let codegen (p: mprog): string = done; begin match p.(b).bb_jmp with - | `Brz ((LReg _ as r), b1, b2) when b1 >= 0 && b2 >= 0 -> + | `Brz (r, b1, b2) when b1 >= 0 && b2 >= 0 -> oins 0x85 (regn r) (regn r); if b1 = b+1 then (outb 0x0f; outb 0x85; outs (label b2)) |