diff options
author | Hans Bolinder <[email protected]> | 2018-06-05 08:26:17 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-06-05 08:26:17 +0200 |
commit | 484b3220c49d2576eecbce7602fcc1b34231cc16 (patch) | |
tree | 512a38f9406138fee449bec695c97c3aa4bbd0fa /lib/stdlib | |
parent | 26446208941d64d5f29db6b6a743202c052e8f70 (diff) | |
parent | 2df1c47c4bfc86bd65e013e4be377a4484b0a77d (diff) | |
download | otp-484b3220c49d2576eecbce7602fcc1b34231cc16.tar.gz otp-484b3220c49d2576eecbce7602fcc1b34231cc16.tar.bz2 otp-484b3220c49d2576eecbce7602fcc1b34231cc16.zip |
Merge pull request #1830 from arcz/patch-1
Missing space in gen_event doc
Diffstat (limited to 'lib/stdlib')
-rw-r--r-- | lib/stdlib/doc/src/gen_event.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/stdlib/doc/src/gen_event.xml b/lib/stdlib/doc/src/gen_event.xml index 51378a6b73..6170801e87 100644 --- a/lib/stdlib/doc/src/gen_event.xml +++ b/lib/stdlib/doc/src/gen_event.xml @@ -207,7 +207,7 @@ gen_event:stop -----> Module:terminate/2 </item> <item> <p>If the event handler is deleted later, the event manager - sends a message<c>{gen_event_EXIT,Handler,Reason}</c> to + sends a message <c>{gen_event_EXIT,Handler,Reason}</c> to the calling process. <c>Reason</c> is one of the following:</p> <list type="bulleted"> <item> |