Changeset 1493 for src/ASM/Assembly.ma


Ignore:
Timestamp:
Nov 4, 2011, 5:01:39 PM (9 years ago)
Author:
mulligan
Message:

finished well labeled check, up to injectivity of the label map

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r1482 r1493  
    10321032  [ Cost cost ⇒
    10331033    let program_counter_bv ≝ bitvector_of_nat ? program_counter in
    1034       Some ? 〈program_counter, (insert ? ? program_counter_bv cost costs)〉
     1034      Some ? 〈program_counter, (insert program_counter_bv cost costs)〉
    10351035  | _ ⇒
    10361036    let pc_bv ≝ bitvector_of_nat ? program_counter in
Note: See TracChangeset for help on using the changeset viewer.