diff options
author | Kostis Sagonas <[email protected]> | 2010-04-09 12:49:28 +0000 |
---|---|---|
committer | Erlang/OTP <[email protected]> | 2010-04-09 12:49:28 +0000 |
commit | 824d0fb5ae165a74350ad31f09f83ebc271b7c96 (patch) | |
tree | a340b957e58cc2932297b272728f56db934585cd /lib/dialyzer/doc/manual.txt | |
parent | 1e27864b145d6411fcb0c7c4c41c18acc289174b (diff) | |
download | otp-824d0fb5ae165a74350ad31f09f83ebc271b7c96.tar.gz otp-824d0fb5ae165a74350ad31f09f83ebc271b7c96.tar.bz2 otp-824d0fb5ae165a74350ad31f09f83ebc271b7c96.zip |
Dialyzer docs: Fix minor typo
Diffstat (limited to 'lib/dialyzer/doc/manual.txt')
-rw-r--r-- | lib/dialyzer/doc/manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/doc/manual.txt b/lib/dialyzer/doc/manual.txt index dac61b74b1..470ddd6c73 100644 --- a/lib/dialyzer/doc/manual.txt +++ b/lib/dialyzer/doc/manual.txt @@ -297,7 +297,7 @@ Option :: {files, [Filename :: string()]} | {include_dirs, [DirName :: string()]} | {output_file, FileName :: string()} | {output_plt, FileName :: string()} - | {analysis_type, 'success_typings' | 'plt_add' | + | {analysis_type, 'succ_typings' | 'plt_add' | 'plt_build' | 'plt_check' | 'plt_remove'} | {warnings, [WarnOpts]} |