Changeset 3056


Ignore:
Timestamp:
Apr 1, 2013, 7:17:02 PM (4 years ago)
Author:
tranquil
Message:

fixed a merge gone wrong

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r3051 r3056  
    10331033      let 〈name, addr〉 ≝ preamble in
    10341034      add ? ? datalabels name addr) (empty_map …).
    1035 (*  λthe_preamble.
    1036     foldl ((identifier_map ASMTag Word)) ? (
    1037     λpreamble,t. add … preamble (\fst t) (\snd t)) (empty_map ??) the_preamble.
    10381035(*
    10391036      let 〈datalabels, addr〉 ≝ t in
Note: See TracChangeset for help on using the changeset viewer.