diff options
author | Raimo Niskanen <raimo@erlang.org> | 2021-08-26 10:50:09 +0200 |
---|---|---|
committer | Raimo Niskanen <raimo@erlang.org> | 2021-08-26 10:50:09 +0200 |
commit | df87864043aeabd9faa572611ac81d17109c7ce2 (patch) | |
tree | ded7f96edef409f04d0451fb7752c805ca16ccfd | |
parent | 9657eb547df68112ffb901baade6cb9b22379445 (diff) | |
download | erlang-df87864043aeabd9faa572611ac81d17109c7ce2.tar.gz |
Comment out currently dead code due to Dialyzer
-rw-r--r-- | lib/kernel/src/gen_tcp_socket.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/kernel/src/gen_tcp_socket.erl b/lib/kernel/src/gen_tcp_socket.erl index f35a7549a5..ffcd152c73 100644 --- a/lib/kernel/src/gen_tcp_socket.erl +++ b/lib/kernel/src/gen_tcp_socket.erl @@ -898,13 +898,13 @@ splitmap_opts_1(SplitMap, [Opt | Opts]) -> ok -> case SplitMap(Opt) of false -> ok; - true -> [[] | Opts]; + %% true -> [[] | Opts]; % not used now Opt_1 -> [[Opt_1] | Opts] end; [SplitOptsR | Opts_1] -> case SplitMap(Opt) of false -> [SplitOptsR | [Opt | Opts_1]]; - true -> [[Opt | SplitOptsR] | Opts_1]; + %% true -> [[Opt | SplitOptsR] | Opts_1]; % not used now Opt_1 -> [[Opt_1 | SplitOptsR] | Opts_1] end end; |