From 8c29dc6df3c3dc6d4e3f9bb20c83ad9d1476ecb1 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Tue, 8 Oct 2019 18:20:32 +0200 Subject: [PATCH] cleaning (using name return by simpl_path which is equivalent) --- src/passes/2-simplify/pascaligo.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/passes/2-simplify/pascaligo.ml b/src/passes/2-simplify/pascaligo.ml index 1b45c8c20..3ef036291 100644 --- a/src/passes/2-simplify/pascaligo.ml +++ b/src/passes/2-simplify/pascaligo.ml @@ -771,9 +771,9 @@ and simpl_single_instruction : Raw.single_instr -> (_ -> expression result) resu let%bind (varname,map,path) = match v'.path with | Name name -> ok (name.value , e_variable name.value, []) | Path p -> - let (_,p') = simpl_path v'.path in + let (name,p') = simpl_path v'.path in let%bind accessor = simpl_projection p in - ok @@ (p.value.struct_name.value , accessor , p') + ok @@ (name , accessor , p') in let%bind key_expr = simpl_expression v'.index.value.inside in let expr' = e_map_add key_expr value_expr map in @@ -827,9 +827,9 @@ and simpl_single_instruction : Raw.single_instr -> (_ -> expression result) resu let%bind (varname,map,path) = match v.map with | Name v -> ok (v.value , e_variable v.value , []) | Path p -> - let (_,p') = simpl_path v.map in + let (name,p') = simpl_path v.map in let%bind accessor = simpl_projection p in - ok @@ (p.value.struct_name.value , accessor , p') + ok @@ (name , accessor , p') in let%bind key' = simpl_expression key in let expr = e_constant ~loc "MAP_REMOVE" [key' ; map] in