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.