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_coordinator.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_coordinator.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_coordinator.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_coordinator.erl b/lib/dialyzer/src/dialyzer_coordinator.erl index 9d31c739d0..1dc3e97f7c 100644 --- a/lib/dialyzer/src/dialyzer_coordinator.erl +++ b/lib/dialyzer/src/dialyzer_coordinator.erl @@ -127,7 +127,7 @@ scc_to_pids_request_handle(Worker, SCCs, SCCtoPID) -> Worker ! {sccs_to_pids, Result}, ok. --spec sccs_to_pids_reply() -> [dialyzer_worker:worker()]. +-spec sccs_to_pids_reply() -> {[dialyzer_worker:worker()], [scc()]}. sccs_to_pids_reply() -> receive {sccs_to_pids, Pids} -> Pids end. |