diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_coordinator.erl | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/lib/dialyzer/src/dialyzer_coordinator.erl b/lib/dialyzer/src/dialyzer_coordinator.erl index 63b2d8c3f2..1ae30d9862 100644 --- a/lib/dialyzer/src/dialyzer_coordinator.erl +++ b/lib/dialyzer/src/dialyzer_coordinator.erl @@ -35,7 +35,7 @@ -export([sccs_to_pids/1]). %%% Exports for the compilation workers --export([get_next_label/2, compilation_done/3]). +-export([get_next_label/2]). -export_type([coordinator/0, mode/0, init_data/0]). @@ -232,14 +232,6 @@ job_done(Job, Result, Coordinator) -> Coordinator ! {done, Job, Result}, ok. --spec compilation_done(file:filename(), - dialyzer_analysis_callgraph:compile_result(), - coordinator()) -> ok. - -compilation_done(Filename, CompilationData, Coordinator) -> - Coordinator ! {done, Filename, CompilationData}, - ok. - -spec get_next_label(integer(), coordinator()) -> integer(). get_next_label(EstimatedSize, Coordinator) -> |