diff options
author | Björn Gustavsson <bjorn@erlang.org> | 2019-02-20 14:30:20 +0100 |
---|---|---|
committer | Björn Gustavsson <bjorn@erlang.org> | 2019-02-20 15:13:20 +0100 |
commit | 4d93f72435ae28c488499b99d37c3db9d4181056 (patch) | |
tree | 396862da2f63460712fa1d78e447c61ccf6b4f4c | |
parent | c5771f6d7adfbd0d8dd4202dce5d4a090d4ad50b (diff) | |
download | otp-4d93f72435ae28c488499b99d37c3db9d4181056.tar.gz otp-4d93f72435ae28c488499b99d37c3db9d4181056.tar.bz2 otp-4d93f72435ae28c488499b99d37c3db9d4181056.zip |
Correct confusing comment in beam_ssa_type
-rw-r--r-- | lib/compiler/src/beam_ssa_type.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/compiler/src/beam_ssa_type.erl b/lib/compiler/src/beam_ssa_type.erl index 83f8a3cc56..5fbb679c6f 100644 --- a/lib/compiler/src/beam_ssa_type.erl +++ b/lib/compiler/src/beam_ssa_type.erl @@ -712,8 +712,8 @@ update_successors(#b_br{bool=#b_var{}=Bool,succ=Succ,fail=Fail}, Ts0, D0) -> true -> %% This variable is defined in this block and is only %% referenced by this br terminator. Therefore, there is - %% no need to include the type database passed on to the - %% successors of this block. + %% no need to include it in the type database passed on to + %% the successors of this block. Ts = maps:remove(Bool, Ts0), {SuccTs,FailTs} = infer_types_br(Bool, Ts, D0), D = update_successor(Fail, FailTs, D0), |