aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2012-02-20 15:51:54 +0100
committerHenrik Nord <[email protected]>2012-05-21 15:31:19 +0200
commitc8f8c90f908ae06a3b2114b77447699b7d690496 (patch)
tree2b0f7680b13b6e42cbb5ee467c769cb6a1713ce5 /lib/dialyzer/src
parent6b841074f3e8989ca8349d8298f6237c150bc2c8 (diff)
downloadotp-c8f8c90f908ae06a3b2114b77447699b7d690496.tar.gz
otp-c8f8c90f908ae06a3b2114b77447699b7d690496.tar.bz2
otp-c8f8c90f908ae06a3b2114b77447699b7d690496.zip
Fix a spec in plt
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r--lib/dialyzer/src/dialyzer_plt.erl4
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl
index 35bee913c2..5f64099210 100644
--- a/lib/dialyzer/src/dialyzer_plt.erl
+++ b/lib/dialyzer/src/dialyzer_plt.erl
@@ -158,7 +158,9 @@ lookup_contract(#mini_plt{contracts = ETSContracts},
ets_table_lookup(ETSContracts, MFA).
-spec lookup_callbacks(plt(), module()) ->
- [{mfa(), {{Filename::string(), Line::pos_integer()}, #contract{}}}].
+ 'none' | {'value', [{mfa(), {{Filename::string(),
+ Line::pos_integer()},
+ #contract{}}}]}.
lookup_callbacks(#mini_plt{callbacks = ETSCallbacks}, Mod) when is_atom(Mod) ->
ets_table_lookup(ETSCallbacks, Mod).