From 431e983940586de7464a5ff810f2208a5172aa3b Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Wed, 9 Nov 2022 13:06:11 +0300
Subject: [PATCH] Fix the spec for compute_state_layout

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

diff --git a/src/aeso_ast_to_fcode.erl b/src/aeso_ast_to_fcode.erl
index a51b015..72be0e2 100644
--- a/src/aeso_ast_to_fcode.erl
+++ b/src/aeso_ast_to_fcode.erl
@@ -475,7 +475,7 @@ compute_state_layout(Env = #{ context := {contract_def, _} }, "state", Type) ->
     Env#{ state_layout => Layout };
 compute_state_layout(Env, _, _) -> Env.
 
--spec compute_state_layout(state_reg(), ftype()) -> {state_reg(), state_layout() | [state_layout()]}.
+-spec compute_state_layout(state_reg(), ftype() | [ftype()]) -> {state_reg(), state_layout() | [state_layout()]}.
 compute_state_layout(R, {tuple, [T]}) ->
     compute_state_layout(R, T);
 compute_state_layout(R, {tuple, Ts}) ->