Ignore:
Timestamp:
Feb 8, 2013, 1:45:22 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/PolicyFront.ma

    r2652 r2653  
    202202 λold_sigma:ppc_pc_map.λsigma:ppc_pc_map.
    203203 ∀i.i < |prefix| →
    204  let 〈label,instr〉 ≝ nth i ? prefix 〈None ?, Comment [ ]〉 in
     204 let 〈label,instr〉 ≝ nth i ? prefix 〈None ?, Comment EmptyString〉 in
    205205 ∀dest.is_jump_to instr dest →
    206206 let paddr ≝ lookup_def … labels dest 0 in
Note: See TracChangeset for help on using the changeset viewer.