Changeset 3056 for src

Timestamp:

Apr 1, 2013, 7:17:02 PM (7 years ago)

Author:

tranquil

Message:

fixed a merge gone wrong

File:

• src/ASM/Status.ma (modified) (1 diff)

src/ASM/Status.ma

@@ -1033 +1033 @@
       let 〈name, addr〉 ≝ preamble in
       add ? ? datalabels name addr) (empty_map …).
-(*  λthe_preamble.
-    foldl ((identifier_map ASMTag Word)) ? (
-    λpreamble,t. add … preamble (\fst t) (\snd t)) (empty_map ??) the_preamble.
 (*
       let 〈datalabels, addr〉 ≝ t in