Changeset 3023 for extracted/lINToASM.ml


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
  • extracted/lINToASM.ml

    r3019 r3023  
    10081008       (identifier_of_label globals lbl) (fun lbl' ->
    10091009       Monad.m_return0 (Monad.smax_def State.state_monad) (ASM.Jmp
    1010          (ASM.toASM_ident PreIdentifiers.LabelTag lbl)))
     1010         (ASM.toASM_ident PreIdentifiers.LabelTag lbl')))
    10111011   | Joint.RETURN ->
    10121012     Monad.m_return0 (Monad.smax_def State.state_monad) (ASM.Instruction
Note: See TracChangeset for help on using the changeset viewer.