LWG2593 Moved-from state of Allocators

Dawn Perchik · Dawn Perchik · commit 03c2eaeaa569 · 2017-07-24T16:03:04.000-07:00
diff --git a/source/lib-intro.tex b/source/lib-intro.tex
@@ -1954,7 +1954,7 @@
 \tcode{X u = std::move(a);} &
                             &
   Shall not exit via an exception.\br
-  \postconditions \tcode{u} is equal to the prior value of \tcode{a}. & \\ \rowsep
+  \postconditions The value of \tcode{a} is unchanged and is equal to \tcode{u}. & \\ \rowsep
 
 \tcode{X u(std::move(b));}  &
                             &

Original file line number	Diff line number	Diff line change
`@@ -1954,7 +1954,7 @@`
`1954`	`1954`	`\tcode{X u = std::move(a);} &`
`1955`	`1955`	`&`
`1956`	`1956`	`Shall not exit via an exception.\br`
`1957`		`- \postconditions \tcode{u} is equal to the prior value of \tcode{a}. & \\ \rowsep`
	`1957`	`+ \postconditions The value of \tcode{a} is unchanged and is equal to \tcode{u}. & \\ \rowsep`
`1958`	`1958`
`1959`	`1959`	`\tcode{X u(std::move(b));} &`
`1960`	`1960`	`&`