Imported Upstream version 0.2

[pkg-cerco/acc-trusted.git] / extracted / aSMCosts.ml

diff --git a/extracted/aSMCosts.ml b/extracted/aSMCosts.ml
index 41ba9f9e4b5b842679676f5f004bd5f7b0dc6e7e..52d1276e8af6fb7d7349d13bac5ce29323945e3d 100644 (file)
--- 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 =