diff options
| author | Stavros Aronis <[email protected]> | 2011-12-09 11:55:16 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-02-22 13:04:27 +0100 |
| commit | d96a00e8a11e4b42617e140e6a759748961346d1 (patch) | |
| tree | 4b54c84d9ca46819d4e0f1a282c2cc8b228d3958 /lib/dialyzer | |
| parent | 7554fad452171ec3dc0873ffdd09a24f6531b347 (diff) | |
| download | otp-d96a00e8a11e4b42617e140e6a759748961346d1.tar.gz otp-d96a00e8a11e4b42617e140e6a759748961346d1.tar.bz2 otp-d96a00e8a11e4b42617e140e6a759748961346d1.zip | |
Prettify spec
Diffstat (limited to 'lib/dialyzer')
| -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 = |