aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--lib/dialyzer/src/dialyzer_coordinator.erl10
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) ->