diff options
| author | Luca Favatella <[email protected]> | 2015-09-17 22:07:54 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-01-26 09:11:46 +0100 |
| commit | 7dcecb535129bf9fbfddc08f639363aee3278810 (patch) | |
| tree | 929d56d487c8a82658a479abe8c5f7b2200a2a0c /lib/dialyzer/src/dialyzer.app.src | |
| parent | d4d083d9e9c6d48519404eda51761fce01f8f0e3 (diff) | |
| download | otp-7dcecb535129bf9fbfddc08f639363aee3278810.tar.gz otp-7dcecb535129bf9fbfddc08f639363aee3278810.tar.bz2 otp-7dcecb535129bf9fbfddc08f639363aee3278810.zip | |
Split race_data_server out of dialyzer_callgraph
... in order to reduce size of module dialyzer_callgraph, down from
~850 to ~750 lines.
Diffstat (limited to 'lib/dialyzer/src/dialyzer.app.src')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.app.src | 1 |
1 files changed, 1 insertions, 0 deletions
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, |