Merge branch 'sail2' of https://github.com/rems-project/sail into sail2

1 files changed, 1 insertions, 1 deletions

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}