aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
diff options
context:
space:
mode:
authorKostis Sagonas <kostis@cs.ntua.gr>2010-03-03 16:07:18 +0000
committerErlang/OTP <otp@erlang.org>2010-03-03 16:07:18 +0000
commit4ca96c184819541fd9f67fc954d5dd9edb43e609 (patch)
treed0430a548b7bba116facb349ce36211d44d83945 /lib/dialyzer
parent67e5a5f8833a9d090e4e9920f29541870eba34f5 (diff)
downloadotp-4ca96c184819541fd9f67fc954d5dd9edb43e609.tar.gz
otp-4ca96c184819541fd9f67fc954d5dd9edb43e609.tar.bz2
otp-4ca96c184819541fd9f67fc954d5dd9edb43e609.zip
Fix small confusion/buglet in the handling of 'or'
Diffstat (limited to 'lib/dialyzer')
-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