diff options
author | Mariano Guerra <mariano@marianoguerra.org> | 2020-10-17 15:43:21 +0200 |
---|---|---|
committer | Mariano Guerra <mariano@marianoguerra.org> | 2020-10-17 15:43:21 +0200 |
commit | e12b460810d70d13696ef9b17f0103990f823c3e (patch) | |
tree | 744201f061ae2193e15d0eff23df908d60d117d8 /lib/dialyzer | |
parent | d191fbc919202d5b7deaac539ae38745cd69e480 (diff) | |
download | erlang-e12b460810d70d13696ef9b17f0103990f823c3e.tar.gz |
remove duplicated t_inf_list/3 from include
Diffstat (limited to 'lib/dialyzer')
-rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 2 |
1 files changed, 1 insertions, 1 deletions
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, |