Changeset 2867 for extracted/aSMCosts.ml


Ignore:
Timestamp:
Mar 13, 2013, 11:12:29 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after indianess bug fixes by Paolo.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.ml

    r2854 r2867  
    209209   | Nat.S program_size' ->
    210210     (fun _ ->
    211        (let { Types.fst = eta9; Types.snd = ticks } =
     211       (let { Types.fst = eta31781; Types.snd = ticks } =
    212212          Fetch.fetch code_memory' program_counter'
    213213        in
    214        let { Types.fst = instruction; Types.snd = program_counter'' } = eta9
     214       let { Types.fst = instruction; Types.snd = program_counter'' } =
     215         eta31781
    215216       in
    216217       (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.