Skip to content

Commit

Permalink
FIXUP: Use \Fundescx instead of \expects.
Browse files Browse the repository at this point in the history
  • Loading branch information
burblebee committed Nov 17, 2023
1 parent d69cfdc commit 54b33a9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion source/algorithms.tex
Original file line number Diff line number Diff line change
Expand Up @@ -10860,7 +10860,7 @@
\pnum
\remarks
A function call expression
that violates the precondition in the \expects element
that violates the precondition in the \Fundescx{Preconditions} element
is not a core constant expression\iref{expr.const}.
\end{itemdescr}

Expand Down

0 comments on commit 54b33a9

Please sign in to comment.