From f9b8114c0c18f075b58606ed30ef834d50730f40 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sun, 23 Oct 2022 11:23:28 +0300
Subject: [PATCH] Fix dialyzer warnings

---
 src/aeso_ast_to_fcode.erl | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/aeso_ast_to_fcode.erl b/src/aeso_ast_to_fcode.erl
index ad9ed37..c2bbe41 100644
--- a/src/aeso_ast_to_fcode.erl
+++ b/src/aeso_ast_to_fcode.erl
@@ -180,7 +180,7 @@ ast_to_fcode(Code, Options) ->
                         fun (_, FC) -> optimize(FC, Options) end,
                         maps:get(child_con_env, Env1)
                        )},
-    Env3 = Env2#{ saved_fresh_names => get(saved_fresh_names) },
+    Env3 = Env2#{ saved_fresh_names := get(saved_fresh_names) },
     clear_fresh_names(),
     clear_saved_fresh_names(),
     {Env3, FCode2}.
@@ -237,8 +237,9 @@ init_env(Options) ->
                       ["Chain", "ContractCallTx"]         => #con_tag{ tag = 20, arities = ChainTxArities },
                       ["Chain", "GAAttachTx"]             => #con_tag{ tag = 21, arities = ChainTxArities }
                      },
-       options   => Options,
-       functions => #{}
+       options           => Options,
+       functions         => #{},
+       saved_fresh_names => #{}
     }.
 
 -spec builtins() -> builtins().