From 7ac5e9dd5b6bd71e0ddec8b84ce7df717d7a98ad Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Fri, 10 Dec 2021 14:59:21 +0200
Subject: [PATCH] Remove unused function

---
 src/aeso_ast_infer_types.erl | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index 1f22e48..3a52b66 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -2215,9 +2215,7 @@ check_named_argument_constraint(Env,
             unify(Env, GenType1, SpecType, {check_expr, App, GenType1, SpecType}),
             true;
         _ -> unify(Env, GenType, SpecType, {check_expr, App, GenType, SpecType}), true
-    end;
-check_named_argument_constraint(_, _) ->
-    true.
+    end.
 
 specialize_dependent_type(Env, Type) ->
     case dereference(Type) of