diff --git a/src/passes/13-self_michelson/self_michelson.ml b/src/passes/13-self_michelson/self_michelson.ml index 729bd454a..8af08fb6a 100644 --- a/src/passes/13-self_michelson/self_michelson.ml +++ b/src/passes/13-self_michelson/self_michelson.ml @@ -474,7 +474,6 @@ let rec opt_strip_annots (x : michelson) : michelson = let optimize : michelson -> michelson = fun x -> - let x = use_lambda_instr x in let x = flatten_seqs x in let x = opt_tail_fail x in let optimizers = [ peephole @@ peep2 opt_drop2 ; @@ -487,4 +486,5 @@ let optimize : michelson -> michelson = let x = iterate_optimizer (sequence_optimizers optimizers) x in let x = opt_combine_drops x in let x = opt_strip_annots x in + let x = use_lambda_instr x in x