aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_dataflow.erl
diff options
context:
space:
mode:
authorStavros Aronis <aronisstav@gmail.com>2011-01-03 13:59:19 +0200
committerStavros Aronis <aronisstav@gmail.com>2011-01-14 11:40:59 +0200
commit326ec4e6a86e7ddb7b49f2465ad43adf86399aac (patch)
treebbb9f25c6bbbf805dc912d5e4827f10bd5e960ff /lib/dialyzer/src/dialyzer_dataflow.erl
parent3b7fd1030711ad56fa45d18dc6e0f1d0beee2399 (diff)
downloadotp-326ec4e6a86e7ddb7b49f2465ad43adf86399aac.tar.gz
otp-326ec4e6a86e7ddb7b49f2465ad43adf86399aac.tar.bz2
otp-326ec4e6a86e7ddb7b49f2465ad43adf86399aac.zip
Cosmetic changes
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
-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 b80c7efc1a..0e51ce059c 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -1748,7 +1748,7 @@ bind_opaque_pats(GenType, Type, Pat, Map, State, Rev) ->
bind_guard(Guard, Map, State) ->
try bind_guard(Guard, Map, dict:new(), pos, State) of
- {Map1, _Type} -> Map1
+ {Map1, _Type} -> Map1
catch
throw:{fail, Warning} -> {error, Warning};
throw:{fatal_fail, Warning} -> {error, Warning}
@@ -2274,7 +2274,7 @@ handle_guard_and(Guard, Map, Env, Eval, State) ->
handle_guard_or(Guard, Map, Env, Eval, State) ->
[Arg1, Arg2] = cerl:call_args(Guard),
case Eval of
- pos ->
+ pos ->
{Map1, Bool1} =
try bind_guard(Arg1, Map, Env, pos, State)
catch