summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/riscv.tex2
-rw-r--r--doc/tutorial.tex2
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/riscv.tex b/doc/riscv.tex
index ca2b9dfe..48008c64 100644
--- a/doc/riscv.tex
+++ b/doc/riscv.tex
@@ -56,7 +56,7 @@ register Xs : vector(32, dec, xlenbits)
\sailval{wX}
\sailfn{wX}
-\sailoverloadUUX
+\sailoverloadVVX
We also give a function \ll{MEMr} for reading memory, this function
just points at a builtin we have defined elsewhere. Note that
diff --git a/doc/tutorial.tex b/doc/tutorial.tex
index b9901fc9..c60edf69 100644
--- a/doc/tutorial.tex
+++ b/doc/tutorial.tex
@@ -58,7 +58,7 @@ check. This is another feature that must be used carefully, because
too many implicit casts can quickly result in unreadable code. Sail
does not make any distinction between expressions and statements, so
since there is only a single line of code within the foreach block, we
-can drop it and simply write: \mrbfn{my_replicate_bits_three}
+can drop it and simply write: \mrbfn{my_replicate_bits_3}
%\subsection{External Bindings}