diff options
author | Stavros Aronis <aronisstav@gmail.com> | 2011-12-09 11:55:16 +0100 |
---|---|---|
committer | Stavros Aronis <aronisstav@gmail.com> | 2012-02-22 13:04:27 +0100 |
commit | d96a00e8a11e4b42617e140e6a759748961346d1 (patch) | |
tree | 4b54c84d9ca46819d4e0f1a282c2cc8b228d3958 | |
parent | 7554fad452171ec3dc0873ffdd09a24f6531b347 (diff) | |
download | otp-d96a00e8a11e4b42617e140e6a759748961346d1.tar.gz otp-d96a00e8a11e4b42617e140e6a759748961346d1.tar.bz2 otp-d96a00e8a11e4b42617e140e6a759748961346d1.zip |
Prettify spec
-rw-r--r-- | lib/dialyzer/src/dialyzer_plt.erl | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl index 206c43e4e2..d6c809c289 100644 --- a/lib/dialyzer/src/dialyzer_plt.erl +++ b/lib/dialyzer/src/dialyzer_plt.erl @@ -153,10 +153,8 @@ lookup_contract(#plt{contracts = Contracts}, {M, F, _} = MFA) when is_atom(M), is_atom(F) -> table_lookup(Contracts, MFA). --spec lookup_callbacks(plt(), module()) -> [{mfa(), - {{Filename::string(), - Line::pos_integer()}, - #contract{}}}]. +-spec lookup_callbacks(plt(), module()) -> + [{mfa(), {{Filename::string(), Line::pos_integer()}, #contract{}}}]. lookup_callbacks(#plt{callbacks = Callbacks}, Mod) when is_atom(Mod) -> FunModFilter = |