diff --git a/source/utilities.tex b/source/utilities.tex index 2f66d7d65f..61285bf24b 100644 --- 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