LWG2961 Bad postcondition for set_default_resource

Dawn Perchik · Dawn Perchik · commit 9882195c1d62 · 2017-07-24T16:03:18.000-07:00
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -11710,10 +11710,6 @@
 sets the value of the default memory resource pointer to \tcode{r},
 otherwise sets the default memory resource pointer to \tcode{new_delete_resource()}.
 
-\pnum
-\postconditions
-\tcode{get_default_resource() == r}.
-
 \pnum
 \returns
 The previous value of the default memory resource pointer.
