Changeset 3023 for src/LIN/LINToASM.ma


Ignore:
Timestamp:
Mar 28, 2013, 9:58:41 PM (8 years ago)
Author:
sacerdot
Message:

Typo fixed. It made all GOTOs jump to random positions in the ASM code.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/LIN/LINToASM.ma

    r3017 r3023  
    172172    [ GOTO lbl ⇒
    173173      ! lbl' ← Identifier_of_label … lbl ;
    174       return Jmp (toASM_ident ? lbl)
     174      return Jmp (toASM_ident ? lbl')
    175175    | RETURN ⇒ return Instruction (RET ?)
    176176    | TAILCALL abs _ _ ⇒ Ⓧabs
Note: See TracChangeset for help on using the changeset viewer.