Skip to content

Commit b3f4572

Browse files
authored
[basic.contract.eval] Fix typo (#7749)
1 parent 412cf6a commit b3f4572

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/basic.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7414,7 +7414,7 @@
74147414
\pnum
74157415
\indexdefn{contract evaluation semantics!terminating}%
74167416
If a contract violation occurs
7417-
in a context that is manifestly constant-evaluate\iref{expr.const},
7417+
in a context that is manifestly constant-evaluated\iref{expr.const},
74187418
and the evaluation semantic is
74197419
a terminating semantic,
74207420
the program is ill-formed.

0 commit comments

Comments
 (0)