diff --git a/source/basic.tex b/source/basic.tex index a78628ca87..264bc65676 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -1618,7 +1618,7 @@ \item if associated with a \grammarterm{lambda-declarator}, the nearest enclosing lambda scope -of the precondition assertion\iref{expr.prim.lambda}, +of the postcondition assertion\iref{expr.prim.lambda}, \end{itemize} the program is ill-formed.