From 39ccb44c864747c291ee255e31eac40f97ef1443 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sat, 8 Apr 2023 13:20:43 +0300
Subject: [PATCH] Fix the inability to pattern match constructors

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

diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl
index 0767446..97fb6b6 100644
--- a/src/aeso_fcode_to_fate.erl
+++ b/src/aeso_fcode_to_fate.erl
@@ -460,7 +460,7 @@ split_to_scode(Env, {split, {variant, Cons}, X, Alts}) ->
     {Def, Alts1} = catchall_to_scode(Env, X, Alts),
     Arg = lookup_var(Env, X),
     GetAlt = fun(I) ->
-                case [{Xs, S} || {'case', {con, _, _, J, Xs}, S} <- Alts1, I == J] of
+                case [{Xs, S} || {'case', {con, _, J, Xs}, S} <- Alts1, I == J] of
                     [] -> missing;
                     [{Xs, S} | _] ->
                         {Code, Env1} = match_variant(Env, Arg, Xs),