Changeset 1040


Ignore:
Timestamp:
Jun 24, 2011, 4:54:33 PM (8 years ago)
Author:
sacerdot
Message:

Bug fixed in assembly.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r1014 r1040  
    204204                     let b1_b2 ≝ split ? 8 8 w in
    205205                     let b1 ≝ \fst b1_b2 in
    206                      let b2 ≝ \fst b1_b2 in
     206                     let b2 ≝ \snd b1_b2 in
    207207                      [ ([[true;false;false;true;false;false;false;false]]); b1; b2]
    208208                  | _ ⇒ λK.match K in False with [ ] ] (subaddressing_modein … addr2)]
Note: See TracChangeset for help on using the changeset viewer.