From dd259fbc964f494de9e4f1d9677e72192b0747c2 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Fri, 11 Feb 2022 02:27:18 +0400
Subject: [PATCH] Fix dialyzer warning

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

diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index f6cabb2..45950d1 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -1133,7 +1133,6 @@ check_typedef(Env, {variant_t, Cons}) ->
     {variant_t, [ {constr_t, Ann, Con, [ check_type(Env, Arg) || Arg <- Args ]}
                 || {constr_t, Ann, Con, Args} <- Cons ]}.
 
--spec infer_type_vars_variance(aeso_syntax:tvar(), [{constr_t, _, _, _}]) -> [variance()].
 infer_type_vars_variance(TypeParams, Cons) ->
     % args from all type constructors
     FlatArgs = lists:flatten([Args || {constr_t, _, _, Args} <- Cons]),