From ec142ae5c0696bb7893a67ff6356c7da3369a7fc Mon Sep 17 00:00:00 2001
From: Kostis Sagonas <kostis@it.uu.se>
Date: Sun, 4 Mar 2012 16:16:52 +0100
Subject: Code simplifications (tidier)

---
 lib/dialyzer/src/dialyzer_callgraph.erl | 5 +----
 lib/dialyzer/src/dialyzer_worker.erl    | 5 +----
 2 files changed, 2 insertions(+), 8 deletions(-)

(limited to 'lib/dialyzer/src')

diff --git a/lib/dialyzer/src/dialyzer_callgraph.erl b/lib/dialyzer/src/dialyzer_callgraph.erl
index cc26d9fdd5..854d67e835 100644
--- a/lib/dialyzer/src/dialyzer_callgraph.erl
+++ b/lib/dialyzer/src/dialyzer_callgraph.erl
@@ -354,10 +354,7 @@ ets_lookup_dict(Key, Table) ->
   end.
 
 ets_lookup_set(Key, Table) ->
-  case ets:lookup(Table, Key) of
-      [] -> false;
-      _ -> true
-  end.
+  ets:lookup(Table, Key) =/= [].
 
 %%----------------------------------------------------------------------
 %% Core code
diff --git a/lib/dialyzer/src/dialyzer_worker.erl b/lib/dialyzer/src/dialyzer_worker.erl
index cc4032d154..b58e662f06 100644
--- a/lib/dialyzer/src/dialyzer_worker.erl
+++ b/lib/dialyzer/src/dialyzer_worker.erl
@@ -107,10 +107,7 @@ loop(running, #state{mode = Mode} = State) when
   report_to_coordinator(NotFixpoint, State).
 
 waits_more_success_typings(#state{depends_on = Depends}) ->
-  case Depends of
-    [] -> false;
-    _ -> true
-  end.
+  Depends =/= [].
 
 broadcast_done(#state{job = SCC, init_data = InitData}) ->
   RequiredBy = dialyzer_succ_typings:find_required_by(SCC, InitData),
-- 
cgit v1.2.3