From df9f258394823d74819df725a5c1ab6e6b5807eb Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Mon, 25 Jul 2022 00:12:54 +0400
Subject: [PATCH] Add comment about state type

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

diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index 87dabf5..4abc45a 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -1664,7 +1664,7 @@ check_state_init(Env) ->
     case unfold_types_in_type(Env, StateType) of
         false  ->
             ok;
-        {_, {_, {_, {alias_t, {tuple_t, _, []}}}}} ->
+        {_, {_, {_, {alias_t, {tuple_t, _, []}}}}} ->  %% type state = ()
             ok;
         _ ->
             #scope{ ann = AnnCon } = get_scope(Env, Top),