From 9208a5974e8ccda004f01fd915a84b9fc5507d22 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Thu, 25 May 2023 15:22:13 +0300
Subject: [PATCH] Use FAnn instead of get_fann(Body)

---
 src/aeso_ast_to_fcode.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aeso_ast_to_fcode.erl b/src/aeso_ast_to_fcode.erl
index 997ba02..b5f2694 100644
--- a/src/aeso_ast_to_fcode.erl
+++ b/src/aeso_ast_to_fcode.erl
@@ -1309,7 +1309,7 @@ lifted_fun([Z], Xs, Body) ->
 lifted_fun(FVs, Xs, Body) ->
     Z    = "%env",
     FAnn = get_fann(Body),
-    Proj = fun({I, Y}, E) -> {'let', get_fann(Body), Y, {proj, FAnn, {var, FAnn, Z}, I - 1}, E} end,
+    Proj = fun({I, Y}, E) -> {'let', FAnn, Y, {proj, FAnn, {var, FAnn, Z}, I - 1}, E} end,
     #{ attrs  => [private],
        args   => [{Z, any} | [{X, any} || X <- Xs]],
        return => any,