Imported Upstream version 0.2

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

diff --git a/extracted/toCminor.ml b/extracted/toCminor.ml
index 4131f6c3fdb24e6d71eaf9bd743a0de41687f5b8..8e12b742db8bd1934770528537837d561e2bfcb5 100644 (file)
--- a/extracted/toCminor.ml
+++ b/extracted/toCminor.ml
@@ -2062,8 +2062,8 @@ let alloc_params_main vars lbls statement uv ul rettyp params s =
     let { Types.fst = id; Types.snd = ty } = it in
     Obj.magic
       (Monad.m_bind0 (Monad.max_def Errors.res0) (Obj.magic su)
-        (fun eta2356 ->
-        let result = eta2356 in
+        (fun eta2378 ->
+        let result = eta2378 in
         (let { Types.fst = fgens1; Types.snd = s0 } = result in
         (fun _ ->
         Obj.magic