Weaken LR/SC progress guarantee

1 files changed, 4 insertions, 4 deletions

diff --git a/src/c.tex b/src/c.tex
index 533fb8b..af8aca7 100644
--- a/src/c.tex
+++ b/src/c.tex
@@ -1173,10 +1173,10 @@ C.EBREAK shares the opcode with the C.ADD instruction, but with {\em
 
 \section{Usage of C Instructions in LR/SC Sequences}
 
-On implementations that support the C extension, compressed forms of
-the I instructions permitted inside LR/SC sequences can be used while
-retaining the guarantee of eventual success, as described in
-Section~\ref{lrscseq}.
+On implementations that support the C extension, compressed forms of the
+I instructions permitted inside constrained LR/SC sequences, as described in
+Section~\ref{sec:lrscseq}, are also permitted inside constrained LR/SC
+sequences.
 
 \begin{commentary}
 The implication is that any implementation that claims to support both