diff options
| author | Stavros Aronis <[email protected]> | 2012-02-22 16:04:20 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:20 +0200 |
| commit | e200c6519651319ddcb874d0aff23cc21e1a9c83 (patch) | |
| tree | 11e8100866f489fd55d6e4bc0c1166b27e09b829 /lib/dialyzer/src/dialyzer_succ_typings.erl | |
| parent | 7b622408befa56eefb2dc821c195727fe840d055 (diff) | |
| download | otp-e200c6519651319ddcb874d0aff23cc21e1a9c83.tar.gz otp-e200c6519651319ddcb874d0aff23cc21e1a9c83.tar.bz2 otp-e200c6519651319ddcb874d0aff23cc21e1a9c83.zip | |
Fix specs
Diffstat (limited to 'lib/dialyzer/src/dialyzer_succ_typings.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index 9a37a54206..3b8e3f890b 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -240,12 +240,12 @@ refine_succ_typings([], State, Coordinator) -> -type scc_refine_data() :: term(). %%opaque -type scc() :: [mfa_or_funlbl()] | [module()]. --spec find_depends_on(scc(), servers()) -> [scc()]. +-spec find_depends_on(scc() | module(), servers()) -> [scc()]. find_depends_on(SCC, {_Codeserver, Callgraph, _Plt}) -> dialyzer_callgraph:get_depends_on(SCC, Callgraph). --spec find_required_by(scc(), servers()) -> [scc()]. +-spec find_required_by(scc() | module(), servers()) -> [scc()]. find_required_by(SCC, {_Codeserver, Callgraph, _Plt}) -> dialyzer_callgraph:get_required_by(SCC, Callgraph). |