Changeset 2710 for src/ASM/Status.ma


Ignore:
Timestamp:
Feb 22, 2013, 7:20:24 PM (7 years ago)
Author:
sacerdot
Message:

ASMCosts.ma repaired

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r2316 r2710  
    10891089      let 〈carry, sum〉 ≝ half_add … addr size in
    10901090        〈add ? ? datalabels name addr, sum〉)
    1091           〈empty_map …, zero 16〉 (\snd the_preamble)).
     1091          〈empty_map …, zero 16〉 the_preamble).
Note: See TracChangeset for help on using the changeset viewer.