diff options
Diffstat (limited to 'lib/dialyzer/src/dialyzer.app.src')
-rw-r--r-- | lib/dialyzer/src/dialyzer.app.src | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer.app.src b/lib/dialyzer/src/dialyzer.app.src index f9c7304b9f..311c019a31 100644 --- a/lib/dialyzer/src/dialyzer.app.src +++ b/lib/dialyzer/src/dialyzer.app.src @@ -39,8 +39,11 @@ dialyzer_dot, dialyzer_explanation, dialyzer_gui_wx, + dialyzer_incremental, dialyzer_options, dialyzer_plt, + dialyzer_cplt, + dialyzer_iplt, dialyzer_succ_typings, dialyzer_typesig, dialyzer_utils, @@ -53,6 +56,6 @@ {registered, []}, {applications, [compiler, kernel, stdlib]}, {env, []}, - {runtime_dependencies, ["wx-2.0","syntax_tools-2.0","stdlib-3.15", + {runtime_dependencies, ["wx-2.0","syntax_tools-2.0","stdlib-@OTP-18558@", "kernel-8.0","erts-12.0", "compiler-8.0"]}]}. |