diff options
| author | Tuncer Ayaz <[email protected]> | 2011-04-11 19:52:52 +0200 |
|---|---|---|
| committer | Tuncer Ayaz <[email protected]> | 2011-04-11 20:17:31 +0200 |
| commit | 890defc468ebd3e88464643e5a4cb46ef0ff2298 (patch) | |
| tree | 228c8d1f283f126b77f0bcfb496e826ce457aff9 | |
| parent | 5043e4839afd79bfcd8044dea874441763f49e89 (diff) | |
| download | otp-890defc468ebd3e88464643e5a4cb46ef0ff2298.tar.gz otp-890defc468ebd3e88464643e5a4cb46ef0ff2298.tar.bz2 otp-890defc468ebd3e88464643e5a4cb46ef0ff2298.zip | |
dialyzer/doc: use consistent colons in type specs
| -rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index b6547b11e1..3a4f605b93 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -279,14 +279,14 @@ <p>Dialyzer GUI version.</p> <code type="none"><![CDATA[ OptList : [Option] -Option : {files, [Filename : string()]} - | {files_rec, [DirName : string()]} +Option : {files, [Filename :: string()]} + | {files_rec, [DirName :: string()]} | {defines, [{Macro: atom(), Value : term()}]} | {from, src_code | byte_code} %% Defaults to byte_code - | {init_plt, FileName : string()} %% If changed from default + | {init_plt, FileName :: string()} %% If changed from default | {plts, [FileName :: string()]} %% If changed from default - | {include_dirs, [DirName : string()]} - | {output_file, FileName : string()} + | {include_dirs, [DirName :: string()]} + | {output_file, FileName :: string()} | {output_plt, FileName :: string()} | {analysis_type, 'succ_typings' | 'plt_add' | 'plt_build' | 'plt_check' | 'plt_remove'} | {warnings, [WarnOpts]} |