[func.wrap.func.con] Fix ill-formed postcondition (#7341)

eisenwave · web-flow · commit eb9872aedc58 · 2024-10-22T12:09:22.000+02:00
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -13170,7 +13170,7 @@
 \pnum
 \ensures
 \tcode{!*this} if \tcode{!f}; otherwise,
-the target object of \tcode{*this} is a copy of \tcode{f.target()}.
+the target object of \tcode{*this} is a copy of the target object of \tcode{f}.
 
 \pnum
 \throws
