diff options
| -rw-r--r-- | erts/doc/src/erlang.xml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml index 2bba258c07..384b0f21e0 100644 --- a/erts/doc/src/erlang.xml +++ b/erts/doc/src/erlang.xml @@ -11608,13 +11608,6 @@ improper_end</pre> <p>When <c>PidPort</c> gets unlinked from a process <c>Pid2</c>.</p> </item> <tag> - <marker id="trace_3_trace_messages_exit"></marker> - <c>{trace, Pid, exit, Reason}</c> - </tag> - <item> - <p>When <c>Pid</c> exits with reason <c>Reason</c>.</p> - </item> - <tag> <marker id="trace_3_trace_messages_open"></marker> <c>{trace, Port, open, Pid, Driver}</c> </tag> |