From f05a7be239c7063727dcb529821edc7db20d4812 Mon Sep 17 00:00:00 2001
From: Matthew Fernandez
Date: Thu, 9 Aug 2018 18:14:12 -0700
Subject: fix tutorial infix example

The syntax for these directives requires the precedence first. E.g. a real world
version of this in riscv/prelude.sail.
---
 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 5bd32c67..5a362c28 100644
--- a/doc/tutorial.tex
+++ b/doc/tutorial.tex
@@ -751,7 +751,7 @@ operator names. Operators may be left, right, or non-associative, and
 there are 10 different precedence levels, ranging from 0 to 9, with 9
 binding the tightest. To declare the precedence of an operator, we use a fixity declaration like:
 \begin{lstlisting}
-infix <=_u 4
+infix 4 <=_u
 \end{lstlisting}
 For left or right associative operators, we'd use the keywords
 \ll{infixl} or \ll{infixr} respectively. An operator can be used
-- 
cgit v1.2.3