From 9a795d96c45803c2a15800ffbbe9f5de6b7adb80 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Sun, 14 Dec 2025 23:54:38 +0000
Subject: [PATCH] [basic.contract.eval] Replace "operation" with "evaluation"

---
 source/basic.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/basic.tex b/source/basic.tex
index a813f68d9c..46ee581e18 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -7785,7 +7785,7 @@
 \pnum
 There is an observable checkpoint\iref{intro.abstract} $C$
 that happens before $A$
-such that any other operation $O$
+such that any other evaluation
 that happens before $A$
 also happens before $C$.
 
@@ -7950,7 +7950,7 @@
 \pnum
 There is an observable checkpoint\iref{intro.abstract} $C$
 that happens after the contract-violation handler returns normally
-such that any other operation $O$
+such that any other evaluation
 that happens after the contract-violation handler returns
 also happens after $C$.