Skip to content

Commit 463ab8d

Browse files
jensmaurerzygoloid
authored andcommitted
[except.terminate] Clarify evaluation of a contract
1 parent f2f60fd commit 463ab8d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/exceptions.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1031,7 +1031,7 @@
10311031
exits via an exception\iref{support.start.term}, or
10321032

10331033
\item%
1034-
when evaluation of a predicate\iref{dcl.attr.contract}
1034+
when evaluation of the predicate of a contract\iref{dcl.attr.contract}
10351035
exits via an exception, or
10361036

10371037
\item%

0 commit comments

Comments
 (0)