From 1980eb30bfb400a80c72aade2ace382d4b3cbc91 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Thu, 24 Feb 2022 16:05:07 +0400
Subject: [PATCH] Fix warning

---
 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 062affa..14e0852 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -2796,7 +2796,7 @@ unify1(_Env, A, B, _Variance, When) ->
     cannot_unify(A, B, When),
     false.
 
-is_subtype(Env, NameA, NameB, invariant) ->
+is_subtype(_Env, NameA, NameB, invariant) ->
     NameA == NameB;
 is_subtype(Env, NameA, NameB, covariant) ->
     is_subtype(Env, NameA, NameB);