From 848b902cd9821f0a105d408a40117b3e8d2e3576 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Tue, 26 Nov 2019 17:49:23 +0100 Subject: [PATCH] generated variable name typo --- src/passes/2-simplify/pascaligo.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/passes/2-simplify/pascaligo.ml b/src/passes/2-simplify/pascaligo.ml index 06a428230..2461482c4 100644 --- a/src/passes/2-simplify/pascaligo.ml +++ b/src/passes/2-simplify/pascaligo.ml @@ -1138,7 +1138,7 @@ and simpl_for_int : Raw.for_int -> (_ -> expression result) result = fun fi -> and simpl_for_collect : Raw.for_collect -> (_ -> expression result) result = fun fc -> let elt_name = "#COMPILER#elt_"^fc.var.value in let elt_v_name = match fc.bind_to with - | Some v -> "#COMPILER#elt"^(snd v).value + | Some v -> "#COMPILER#elt_"^(snd v).value | None -> "#COMPILER#elt_unused" in let element_names = ok @@ match fc.bind_to with | Some v -> [fc.var.value;(snd v).value]