From 1e274be0e449497e364d3698b921d930d0c26f44 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Tue, 9 Dec 2025 23:40:50 +0000
Subject: [PATCH] [basic.scope.contract] Fix typo

---
 source/basic.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.