[fs.path.member] fix empty() == true

eisenwave · jensmaurer · commit 9130806ceb4a · 2023-09-03T10:00:53.000+02:00
diff --git a/source/iostreams.tex b/source/iostreams.tex
@@ -14014,7 +14014,7 @@
 \begin{itemdescr}
 \pnum
 \ensures
-\tcode{empty() == true}.
+\tcode{empty()} is \keyword{true}.
 \end{itemdescr}
 
 \indexlibraryctor{path}%
