diff options
| author | Stavros Aronis <[email protected]> | 2012-02-22 13:04:17 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-02-22 14:13:20 +0100 |
| commit | 06d0fd439347d1364078314b187dd388c5800c62 (patch) | |
| tree | 0c8bf800acb592887f2d2ec1c3c7550267a898e3 /lib/dialyzer/src/dialyzer_plt.erl | |
| parent | 25f3ba6e96e8164cd71260cc1de28c9a644b125d (diff) | |
| download | otp-06d0fd439347d1364078314b187dd388c5800c62.tar.gz otp-06d0fd439347d1364078314b187dd388c5800c62.tar.bz2 otp-06d0fd439347d1364078314b187dd388c5800c62.zip | |
Review by Kostis Sagonas and fixes
Diffstat (limited to 'lib/dialyzer/src/dialyzer_plt.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_plt.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl index 3bb6c6aa87..74892d1668 100644 --- a/lib/dialyzer/src/dialyzer_plt.erl +++ b/lib/dialyzer/src/dialyzer_plt.erl @@ -205,7 +205,7 @@ get_exported_types(#plt{exported_types = ExpTypes}) -> lookup_module(#plt{info = Info}, M) when is_atom(M) -> table_lookup_module(Info, M). --spec all_modules(plt()) -> [module()]. +-spec all_modules(plt()) -> set(). all_modules(#plt{info = Info, contracts = Cs}) -> sets:union(table_all_modules(Info), table_all_modules(Cs)). |