diff options
| author | Sverker Eriksson <[email protected]> | 2018-06-28 17:38:07 +0200 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2018-06-28 17:38:07 +0200 |
| commit | de632282a466d4511a184a708d3c9df1e4745c14 (patch) | |
| tree | 014f329c89bcdcd1d331f73bb1ff981bab626a25 /erts | |
| parent | 3250448438244c37ec69cd40ea9b42886d5161e4 (diff) | |
| parent | 431ba3068937350bfa21cc274ab06c2fc36b739e (diff) | |
| download | otp-de632282a466d4511a184a708d3c9df1e4745c14.tar.gz otp-de632282a466d4511a184a708d3c9df1e4745c14.tar.bz2 otp-de632282a466d4511a184a708d3c9df1e4745c14.zip | |
Merge branch 'maint'
Diffstat (limited to 'erts')
| -rw-r--r-- | erts/doc/src/erlang.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml index b39d0e5e23..0a98e9c822 100644 --- a/erts/doc/src/erlang.xml +++ b/erts/doc/src/erlang.xml @@ -6170,7 +6170,7 @@ true</pre> <p>Monitors the new process (like <seealso marker="#monitor/2"><c>monitor/2</c></seealso> does).</p> </item> - <tag><c>{priority, <anno>Level</anno></c></tag> + <tag><c>{priority, <anno>Level</anno>}</c></tag> <item> <p>Sets the priority of the new process. Equivalent to executing <seealso marker="#process_flag_priority"> |