From 21cc6f2b3e49417487252d4ecde78270bf7b2528 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Mon, 20 Jun 2022 10:23:39 +0400
Subject: [PATCH] Add constrained_t to fold

---
 src/aeso_syntax_utils.erl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/aeso_syntax_utils.erl b/src/aeso_syntax_utils.erl
index e50f2d4..5a0d416 100644
--- a/src/aeso_syntax_utils.erl
+++ b/src/aeso_syntax_utils.erl
@@ -61,6 +61,7 @@ fold(Alg = #alg{zero = Zero, plus = Plus, scoped = Scoped}, Fun, K, X) ->
             {fun_t, _, Named, Args, Ret} -> Type([Named, Args, Ret]);
             {app_t, _, T, Ts}            -> Type([T | Ts]);
             {tuple_t, _, Ts}             -> Type(Ts);
+            {constrained_t, _, _, T}     -> Type(T);
             %% named_arg_t()
             {named_arg_t, _, _, T, E} -> Plus(Type(T), Expr(E));
             %% expr()