Merge tag 'upstream/0.2'

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

diff --git a/extracted/toRTLabs.ml b/extracted/toRTLabs.ml
index c33d803a8fc73037177a28851e5b1222f9d6e162..b5ca97295be613b741a10253976ae5f822696731 100644 (file)
--- a/extracted/toRTLabs.ml
+++ b/extracted/toRTLabs.ml
@@ -120,8 +120,8 @@ type env =
 let populate_env en gen =
   List.foldr (fun idt rsengen ->
     let { Types.fst = id; Types.snd = ty } = idt in
-    let { Types.fst = eta2859; Types.snd = gen0 } = rsengen in
-    let { Types.fst = rs; Types.snd = en0 } = eta2859 in
+    let { Types.fst = eta2881; Types.snd = gen0 } = rsengen in
+    let { Types.fst = rs; Types.snd = en0 } = eta2881 in
     let { Types.fst = r; Types.snd = gen' } =
       Identifiers.fresh PreIdentifiers.RegisterTag gen0
     in
@@ -1344,16 +1344,16 @@ let c2ra_function f =
   let labgen0 = Identifiers.new_universe PreIdentifiers.LabelTag in
   let reggen0 = Identifiers.new_universe PreIdentifiers.RegisterTag in
   let cminor_labels = Cminor_syntax.labels_of f.Cminor_syntax.f_body in
-  (let { Types.fst = eta3086; Types.snd = reggen1 } =
+  (let { Types.fst = eta3108; Types.snd = reggen1 } =
      populate_env (Identifiers.empty_map PreIdentifiers.SymbolTag) reggen0
        f.Cminor_syntax.f_params
    in
-  let { Types.fst = params; Types.snd = env1 } = eta3086 in
+  let { Types.fst = params; Types.snd = env1 } = eta3108 in
   (fun _ ->
-  (let { Types.fst = eta3085; Types.snd = reggen2 } =
+  (let { Types.fst = eta3107; Types.snd = reggen2 } =
      populate_env env1 reggen1 f.Cminor_syntax.f_vars
    in
-  let { Types.fst = locals0; Types.snd = env0 } = eta3085 in
+  let { Types.fst = locals0; Types.snd = env0 } = eta3107 in
   (fun _ ->
   (let { Types.dpi1 = locals_reggen; Types.dpi2 = result } =
      match f.Cminor_syntax.f_return with