[ios.base.locales] clarify postcondition

Eisenwave · Eisenwave · commit 3bf90338bb11 · 2023-08-30T13:10:27.000+02:00
diff --git a/source/iostreams.tex b/source/iostreams.tex
@@ -1344,7 +1344,7 @@
 
 \pnum
 \ensures
-\tcode{loc == getloc()}.
+\tcode{loc == getloc()} is \keyword{true}.
 
 \pnum
 \returns
