[socket.acceptor.cons] add missing native_handle() post-condition to …

…move ctor
cplusplus · Aug 30, 2016 · a613fa9 · a613fa9
1 parent 4c578e8
commit a613fa9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/sockets.tex b/src/sockets.tex
@@ -3577,6 +3577,8 @@
 \item
 \tcode{enable_connection_aborted()} returns the same value as \tcode{rhs.enable_connection_aborted()} prior to the constructor invocation.
 \item
+\tcode{native_handle()} returns the prior value of \tcode{rhs.native_handle()}.
+\item
 \tcode{protocol_} is equal to the prior value of \tcode{rhs.protocol_}.
 \item
 \tcode{rhs.is_open() == false}.