From 80c369b4d083058fd250392daa6857cd8cc274f5 Mon Sep 17 00:00:00 2001
From: Ulf Wiger <ulf@wiger.net>
Date: Sun, 23 Aug 2026 07:26:10 +0200
Subject: [PATCH] Add missing BurnTx type to Auth.tx fcode table

init_type_env/0 listed five new Chain.base_tx constructors in
con_env and arities but omitted BurnTx from the variant type,
so compiling switches on Chain.BurnTx crashed in split_vars/2.
---
 src/so_ast_to_fcode.erl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/so_ast_to_fcode.erl b/src/so_ast_to_fcode.erl
index 7840d94..35c6607 100644
--- a/src/so_ast_to_fcode.erl
+++ b/src/so_ast_to_fcode.erl
@@ -335,7 +335,8 @@ init_type_env() ->
                         [address, integer],
                         [integer],
                         [{list, {tuple, [{variant, [[], [address]]}, address, address, integer]}}],
-                        [address, integer, string, {list, {tuple, [address, integer]}}]
+                        [address, integer, string, {list, {tuple, [address, integer]}}],
+                        [integer]
                        ]},
     #{ ["int"]             => ?type(integer),
        ["bool"]            => ?type(boolean),