From 9ddd29d63ad6b7d2d489d7c87e982fd118c1b59d Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Thu, 17 Nov 2022 17:32:51 +0300
Subject: [PATCH] Fix dialyzer warning

---
 src/aeso_fcode_to_fate.erl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl
index 83701de..7d041aa 100644
--- a/src/aeso_fcode_to_fate.erl
+++ b/src/aeso_fcode_to_fate.erl
@@ -106,11 +106,11 @@ compile1(ChildContracts, FCode, SavedFreshNames, Options) ->
     {FateCode2, get_variables_registers(), DbglocMap}.
 
 -spec block_dbgloc_map(bcode()) -> DbglocMap when
-      DbglocMap :: #{integer() => {integer(), integer()}}.
+      DbglocMap :: #{integer() => {aeso_syntax:ann_file(), aeso_syntax:ann_line(), aeso_syntax:ann_col()}}.
 block_dbgloc_map(BB) -> block_dbgloc_map(BB, 0, maps:new()).
 
 -spec block_dbgloc_map(bcode(), integer(), DbglocMap) -> DbglocMap when
-      DbglocMap :: #{integer() => {integer(), integer()}}.
+      DbglocMap :: #{integer() => {aeso_syntax:ann_file(), aeso_syntax:ann_line(), aeso_syntax:ann_col()}}.
 block_dbgloc_map([], _, DbglocMap) ->
      DbglocMap;
 block_dbgloc_map([{'DBGLOC', File, Line, Col} | Rest], Index, DbglocMap) ->
@@ -119,7 +119,7 @@ block_dbgloc_map([_ | Rest], Index, DbglocMap) ->
     block_dbgloc_map(Rest, Index + 1, DbglocMap).
 
 -spec remove_dbgloc(aeb_fate_code:fcode()) -> {aeb_fate_code:fcode(), DbglocMap} when
-      DbglocMap :: #{integer() => {integer(), integer()}}.
+      DbglocMap :: #{integer() => {aeso_syntax:ann_file(), aeso_syntax:ann_line(), aeso_syntax:ann_col()}}.
 remove_dbgloc(FateCode) ->
     RemoveDbglocFromBBs =
         fun(_, BB) ->