diff options
| author | Luca Favatella <[email protected]> | 2015-09-10 10:47:26 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-01-26 09:11:46 +0100 |
| commit | ccb54d17f2154ec7043ae4d725f5f6c38c158270 (patch) | |
| tree | 761d5688c22510a8613ceeaa170300af0fbf46c9 | |
| parent | 6165f613a5b33aec2b9505a193fe7e309e2be7fd (diff) | |
| download | otp-ccb54d17f2154ec7043ae4d725f5f6c38c158270.tar.gz otp-ccb54d17f2154ec7043ae4d725f5f6c38c158270.tar.bz2 otp-ccb54d17f2154ec7043ae4d725f5f6c38c158270.zip | |
Delete a couple of leftover chars in Dialyzer doc
| -rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 2 | ||||
| -rw-r--r-- | system/doc/reference_manual/typespec.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 3fd34241b2..619db125b1 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -254,7 +254,7 @@ analysis that finds data races performs intra-procedural data flow analysis and can sometimes explode in time. Enable it at your own risk. </item> -i <tag><c><![CDATA[-Wunderspecs]]></c>***</tag> + <tag><c><![CDATA[-Wunderspecs]]></c>***</tag> <item>Warn about underspecified functions (the -spec is strictly more allowing than the success typing).</item> <tag><c><![CDATA[-Wunknown]]></c>***</tag> diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml index a238e3135a..8915302088 100644 --- a/system/doc/reference_manual/typespec.xml +++ b/system/doc/reference_manual/typespec.xml @@ -69,7 +69,7 @@ <p> For integers and atoms, it is allowed for singleton types; for example, the integers - <c>-1</c> and <c>42</c>, or the atoms <c>'foo'</c> and <c>'bar'</c>). + <c>-1</c> and <c>42</c>, or the atoms <c>'foo'</c> and <c>'bar'</c>. All other types are built using unions of either predefined types or singleton types. In a type union between a type and one |