From 3f9fae51494d6a173981c31dca49166dd10a50a0 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Wed, 19 Mar 2025 08:18:45 +0100
Subject: [PATCH] [basic.contract.eval] Fix typo

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

diff --git a/source/basic.tex b/source/basic.tex
index 2a717380e2..14b092ec6f 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -7414,7 +7414,7 @@
 \pnum
 \indexdefn{contract evaluation semantics!terminating}%
 If a contract violation occurs
-in a context that is manifestly constant-evaluate\iref{expr.const},
+in a context that is manifestly constant-evaluated\iref{expr.const},
 and the evaluation semantic is
 a terminating semantic,
 the program is ill-formed.