Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:19
erlang
1005-remove-duplicated-t_inf_list-3-from-includ...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 1005-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
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
