File 0167-remove-duplicated-t_inf_list-3-from-include.patch of Package erlang

From e12b460810d70d13696ef9b17f0103990f823c3e Mon Sep 17 00:00:00 2001
From: Mariano Guerra <mariano@marianoguerra.org>
Date: Sat, 17 Oct 2020 15:43:21 +0200
Subject: [PATCH] remove duplicated t_inf_list/3 from include

---
 lib/dialyzer/src/dialyzer_dataflow.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl
index cff3981393..a95bfeb49e 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -38,7 +38,7 @@
 
 -import(erl_types,
         [t_inf/2, t_inf/3, t_inf_lists/2, t_inf_lists/3,
-         t_inf_lists/3, t_is_equal/2, t_is_subtype/2, t_subtract/2,
+         t_is_equal/2, t_is_subtype/2, t_subtract/2,
          t_sup/1, t_sup/2]).
 
 -import(erl_types,
-- 
2.26.2