[istream.cons] clarify boolean expression

Eisenwave · Eisenwave · commit dd5b0582db06 · 2023-08-30T13:35:53.000+02:00
diff --git a/source/iostreams.tex b/source/iostreams.tex
@@ -4424,7 +4424,7 @@
 
 \pnum
 \ensures
-\tcode{gcount() == 0}.
+\tcode{gcount() == 0} is \keyword{true}.
 \end{itemdescr}
 
 
