From 9335db65d0729d1de2e529197de1da0a033b9700 Mon Sep 17 00:00:00 2001
From: radrow <radrowicki@gmail.com>
Date: Sun, 3 Jul 2022 19:25:10 +0200
Subject: [PATCH] Fix liveness

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

diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl
index 9a4c5cb..99be7b7 100644
--- a/src/aeso_fcode_to_fate.erl
+++ b/src/aeso_fcode_to_fate.erl
@@ -819,9 +819,6 @@ ann_live(LiveTop, [I | Is], LiveOut) ->
 ann_live1(_LiveTop, switch_body, LiveOut) ->
     Ann = #{ live_in => LiveOut, live_out => LiveOut },
     {{i, Ann, switch_body}, LiveOut};
-ann_live1(LiveTop, {jump, Ref}, _LiveOut) ->
-    Ann = #{ live_in => LiveTop, live_out => [] },
-    {{i, Ann, {jump, Ref}}, LiveTop};
 ann_live1(LiveTop, loop, _LiveOut) ->
     Ann = #{ live_in => LiveTop, live_out => [] },
     {{i, Ann, loop}, LiveTop};