summaryrefslogtreecommitdiff
path: root/doc/tutorial.tex
diff options
context:
space:
mode:
authorMark Wassell2020-01-30 16:28:47 +0000
committerMark Wassell2020-01-30 16:28:47 +0000
commita575c001b724e85eebe5da857ca38390be1cfbfb (patch)
tree70b21fda3cf0ba8db28a39b8e9d78464d54cb786 /doc/tutorial.tex
parent44179b8bcc80d30b1cd42032214a4fd8680127e1 (diff)
Fix two example code includes
Diffstat (limited to 'doc/tutorial.tex')
-rw-r--r--doc/tutorial.tex2
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}