From a575c001b724e85eebe5da857ca38390be1cfbfb Mon Sep 17 00:00:00 2001 From: Mark Wassell Date: Thu, 30 Jan 2020 16:28:47 +0000 Subject: Fix two example code includes --- doc/tutorial.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/tutorial.tex') 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} -- cgit v1.2.3