Changeset 3061


Ignore:
Timestamp:
Apr 2, 2013, 11:32:02 AM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • extracted/assembly.ml

    r3043 r3061  
    28092809  let lookup_datalabels = fun x ->
    28102810    Identifiers.lookup_def PreIdentifiers.ASMTag datalabels x
    2811       (lookup_labels x)
     2811      (sigma (lookup_labels x))
    28122812  in
    28132813  (let { Types.fst = next_pc; Types.snd = revcode } =
Note: See TracChangeset for help on using the changeset viewer.