From 34cd2bc37b72f5c9b510c2bb78cb3be43eaf4374 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Sun, 14 Dec 2025 21:57:28 +0000
Subject: [PATCH] [intro.races] Replace "library call" with "evaluation"; mark
 example

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

diff --git a/source/basic.tex b/source/basic.tex
index a813f68d9c..9077af4671 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -6747,9 +6747,12 @@
 every subsequent operation is an atomic read-modify-write operation.
 
 \pnum
-Certain library calls \defn{synchronize with} other library calls performed by
-another thread. For example, an atomic store-release synchronizes with a
+Certain evaluations \defn{synchronize with} other evaluations performed by
+another thread.
+\begin{example}
+An atomic store-release synchronizes with a
 load-acquire that takes its value from the store\iref{atomics.order}.
+\end{example}
 \begin{note}
 Except in the specified cases, reading a later value does not
 necessarily ensure visibility as described below. Such a requirement would