From 7dcecb535129bf9fbfddc08f639363aee3278810 Mon Sep 17 00:00:00 2001 From: Luca Favatella Date: Thu, 17 Sep 2015 22:07:54 +0100 Subject: Split race_data_server out of dialyzer_callgraph ... in order to reduce size of module dialyzer_callgraph, down from ~850 to ~750 lines. --- lib/dialyzer/src/dialyzer.app.src | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/dialyzer/src/dialyzer.app.src') diff --git a/lib/dialyzer/src/dialyzer.app.src b/lib/dialyzer/src/dialyzer.app.src index 7794cb46c6..003d7f2ba4 100644 --- a/lib/dialyzer/src/dialyzer.app.src +++ b/lib/dialyzer/src/dialyzer.app.src @@ -37,6 +37,7 @@ dialyzer_gui_wx, dialyzer_options, dialyzer_plt, + dialyzer_race_data_server, dialyzer_races, dialyzer_succ_typings, dialyzer_typesig, -- cgit v1.2.3