From bd64260e37d3e5fab2dc32aeac6767dbbf4be244 Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Mon, 25 Nov 2019 10:42:37 +0100
Subject: [PATCH] Remove impossible case

h/t dialyzer
---
 src/aeso_fcode_to_fate.erl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl
index 3dd3252..49b199f 100644
--- a/src/aeso_fcode_to_fate.erl
+++ b/src/aeso_fcode_to_fate.erl
@@ -1178,7 +1178,6 @@ r_single_successful_branch({switch, R, Type, Alts, Def}, Code) ->
     case push_code_out_of_switch([Def | Alts]) of
         {_, none} -> false;
         {_, many} -> false;
-        {_, []}   -> false;
         {_, [{i, _, switch_body}]} -> false;
         {[Def1 | Alts1], PushedOut} ->
             {[{switch, R, Type, Alts1, Def1} | PushedOut], Code}