Skip to content

Commit

Permalink
[func.wrap.func.con] Fix ill-formed postcondition
Browse files Browse the repository at this point in the history
  • Loading branch information
Eisenwave authored Oct 22, 2024
1 parent b0135f2 commit 22002d3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion source/utilities.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 22002d3

Please # to comment.