[util.smartptr.enab] Remove leftover postcondition after P0033R1.

Fixes cplusplus#1299.
jensmaurer · Jan 1, 2017 · fb47a91 · fb47a91
1 parent c6c2f65
commit fb47a91
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -10568,8 +10568,6 @@
 
 \begin{itemdescr}
 \pnum\returns  \tcode{shared_ptr<T>(weak_this)}.
-
-\pnum\postconditions  \tcode{r.get() == this}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{weak_ptr}}%