Change compressed hint example

Because `C.ADD x0, t0` DOES encode the same hint as `ADD x0, x0, t0`
in Zihintntl extension (C.NTL.ALL and NTL.ALL), we need to change the
example (`C.ADD x0, a0 [x10]` and `ADD x0, x0, a0 [x10]` are chosen
considering simplicity and available space).

1 files changed, 2 insertions, 2 deletions

diff --git a/src/c.tex b/src/c.tex
index 12ad0f8..e5fabeb 100644
--- a/src/c.tex
+++ b/src/c.tex
@@ -1202,8 +1202,8 @@ instruction that happens not to mutate the architectural state.
 \end{commentary}
 
 RVC HINTs do not necessarily expand to their RVI HINT counterparts.  For
-example, \mbox{C.ADD {\em x0}, {\em t0}} might not encode the same HINT
-as \mbox{ADD {\em x0}, {\em x0}, {\em t0}}.
+example, \mbox{C.ADD {\em x0}, {\em a0}} might not encode the same HINT
+as \mbox{ADD {\em x0}, {\em x0}, {\em a0}}.
 
 \begin{commentary}
 The primary reason to not require an RVC HINT to expand to an RVI HINT