X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=extracted%2FaSMCosts.ml;fp=extracted%2FaSMCosts.ml;h=52d1276e8af6fb7d7349d13bac5ce29323945e3d;hb=d549e01e37d9b10e96f60e64a1814f5a9208e283;hp=41ba9f9e4b5b842679676f5f004bd5f7b0dc6e7e;hpb=b4da02b8856ccc723c707618038f6a5c3bf223e2;p=pkg-cerco%2Facc-trusted.git

diff --git a/extracted/aSMCosts.ml b/extracted/aSMCosts.ml
index 41ba9f9..52d1276 100644
--- a/extracted/aSMCosts.ml
+++ b/extracted/aSMCosts.ml
@@ -501,11 +501,11 @@ let rec block_cost' prog program_counter' program_size first_time_around =
    | Nat.O -> (fun _ -> Nat.O)
    | Nat.S program_size' ->
      (fun _ ->
-       (let { Types.fst = eta31588; Types.snd = ticks } =
+       (let { Types.fst = eta302; Types.snd = ticks } =
           Fetch.fetch prog.ASM.cm program_counter'
         in
        let { Types.fst = instruction; Types.snd = program_counter'' } =
-         eta31588
+         eta302
        in
        (fun _ ->
        let to_continue =