Skip to content

Commit 6db574b

Browse files
lprvtkoeppe
authored andcommitted
[basic.scope.contract] Fix typo
1 parent 0598cb1 commit 6db574b

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
@@ -1618,7 +1618,7 @@
16181618
\item
16191619
if associated with a \grammarterm{lambda-declarator},
16201620
the nearest enclosing lambda scope
1621-
of the precondition assertion\iref{expr.prim.lambda},
1621+
of the postcondition assertion\iref{expr.prim.lambda},
16221622
\end{itemize}
16231623
the program is ill-formed.
16241624

0 commit comments

Comments
 (0)