aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorTuncer Ayaz <[email protected]>2011-04-11 19:52:52 +0200
committerTuncer Ayaz <[email protected]>2011-04-11 20:17:31 +0200
commit890defc468ebd3e88464643e5a4cb46ef0ff2298 (patch)
tree228c8d1f283f126b77f0bcfb496e826ce457aff9 /lib
parent5043e4839afd79bfcd8044dea874441763f49e89 (diff)
downloadotp-890defc468ebd3e88464643e5a4cb46ef0ff2298.tar.gz
otp-890defc468ebd3e88464643e5a4cb46ef0ff2298.tar.bz2
otp-890defc468ebd3e88464643e5a4cb46ef0ff2298.zip
dialyzer/doc: use consistent colons in type specs
Diffstat (limited to 'lib')
-rw-r--r--lib/dialyzer/doc/src/dialyzer.xml10
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]}