Ignore:
Timestamp:
Sep 28, 2012, 6:18:25 PM (7 years ago)
Author:
sacerdot
Message:

typo fixed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/cpp-asm-2012/cpp-2012-asm.tex

    r2376 r2377  
    480480 let pi := $\pi_1$ (fetch_pseudo_instruction instr_list ppc) in
    481481 let pc := policy ppc in
    482  let instrs := expand_pseudo_instruction policy ppc pi in
     482 let instructions := expand_pseudo_instruction policy ppc pi in
    483483 let $\langle$l, a$\rangle$ := assembly_1_pseudoinstruction policy ppc pi in
    484484 let pc_plus_len := pc + l in
Note: See TracChangeset for help on using the changeset viewer.