aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2010-03-03 16:07:18 +0000
committerErlang/OTP <[email protected]>2010-03-03 16:07:18 +0000
commit4ca96c184819541fd9f67fc954d5dd9edb43e609 (patch)
treed0430a548b7bba116facb349ce36211d44d83945
parent67e5a5f8833a9d090e4e9920f29541870eba34f5 (diff)
downloadotp-4ca96c184819541fd9f67fc954d5dd9edb43e609.tar.gz
otp-4ca96c184819541fd9f67fc954d5dd9edb43e609.tar.bz2
otp-4ca96c184819541fd9f67fc954d5dd9edb43e609.zip
Fix small confusion/buglet in the handling of 'or'
-rw-r--r--lib/dialyzer/src/dialyzer_dataflow.erl4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl
index a57d9a96c6..1ccfaaa52f 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -2290,11 +2290,11 @@ handle_guard_or(Guard, Map, Env, Eval, State) ->
end;
neg ->
{Map1, Type1} = bind_guard(Arg1, Map, Env, neg, State),
- case t_is_atom(true, Type1) of
+ case t_is_atom(false, Type1) of
false -> throw({fail, none});
true ->
{Map2, Type2} = bind_guard(Arg2, Map1, Env, neg, State),
- case t_is_atom(true, Type2) of
+ case t_is_atom(false, Type2) of
false -> throw({fail, none});
true -> {Map2, t_atom(false)}
end