Changeset 2730 for extracted/aSMCosts.ml


Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (7 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.ml

    r2717 r2730  
    187187   | Nat.S program_size' ->
    188188     (fun _ ->
    189        (let { Types.fst = eta31521; Types.snd = ticks } =
     189       (let { Types.fst = eta25074; Types.snd = ticks } =
    190190          Fetch.fetch code_memory' program_counter'
    191191        in
    192192       let { Types.fst = instruction0; Types.snd = program_counter'' } =
    193          eta31521
     193         eta25074
    194194       in
    195195       (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.