From 9d296f04cb23d387fc0d6e3c47962ef166800591 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Sun, 19 Jun 2022 19:19:15 +0400 Subject: [PATCH] Formatting fix --- src/aeso_ast_infer_types.erl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl index 94a9542..8648404 100644 --- a/src/aeso_ast_infer_types.erl +++ b/src/aeso_ast_infer_types.erl @@ -2217,9 +2217,9 @@ destroy_and_report_unsolved_constraints(Env) -> (_) -> false end, OtherCs3), {TVarsCs, []} = - lists:partition(fun({is_eq, _}) -> true; + lists:partition(fun({is_eq, _}) -> true; ({is_ord, _}) -> true; - (_) -> false + (_) -> false end, OtherCs4), Unsolved = [ S || S <- [ solve_constraint(Env, dereference_deep(C)) || C <- NamedArgCs ],