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

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