diff options
author | James Fish <james@fishcakez.com> | 2015-02-14 18:09:30 +0000 |
---|---|---|
committer | James Fish <james@fishcakez.com> | 2015-02-14 18:12:49 +0000 |
commit | cede33a8f9d37de8c5a2617ffc1c680e46333eef (patch) | |
tree | a2be5d523be333a660756e949227417b80d3512f /doc | |
parent | dcab8baca0d6e2baad6c42d758571e4da619894a (diff) |
Fix {dialyzer_plt_warnings, false} returning warnings
When dialyzer_plt_warnings is false no warnings should be returned when
updating a PLT. Previously any callgraph warnings would be returned when
updating a PLT regardless of the get_warnings option.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions