From bc0ad60d7eb885822d8020e0d16230b7fdb9fc3f Mon Sep 17 00:00:00 2001
From: Paul Rigge
Date: Sat, 23 Dec 2017 18:29:09 -0800
Subject: Spec erroneously says mod instead of rem.

---
 spec/spec.pdf | Bin 245319 -> 245322 bytes
 spec/spec.tex |   4 ++--
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec/spec.pdf b/spec/spec.pdf
index 73bba098..7a771d33 100644
Binary files a/spec/spec.pdf and b/spec/spec.pdf differ
diff --git a/spec/spec.tex b/spec/spec.tex
index 54c4c4de..dc7b3757 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -1237,7 +1237,7 @@ The divide operation divides \vv{num} by \vv{den}, truncating the fractional por
 {\ttfamily
 \begin{tabular}{ |c|c|c|c|c|c| }   
   \opheader 
-mod & (num,den) & () & (UInt,UInt) & UInt & min(w\ts{num},w\ts{den})\\
+rem & (num,den) & () & (UInt,UInt) & UInt & min(w\ts{num},w\ts{den})\\
                    &&& (UInt,SInt) & UInt & min(w\ts{num},w\ts{den})\\
                    &&& (SInt,UInt) & SInt & min(w\ts{num},w\ts{den}+1)\\
                    &&& (SInt,SInt) & SInt & min(w\ts{num},w\ts{den})\\
@@ -1247,7 +1247,7 @@ mod & (num,den) & () & (UInt,UInt) & UInt & min(w\ts{num},w\ts{den})\\
 \end{figure}
 The modulus operation yields the remainder from dividing \vv{num} by \vv{den}, keeping the sign of the numerator. Together with the divide operator, the modulus operator satisfies the relationship below:
 \begin{verbatim}
-num = add(mul(den,div(num,den)),mod(num,den))}
+num = add(mul(den,div(num,den)),rem(num,den))}
 \end{verbatim}
 
 \subsection{Comparison Operations}
-- 
cgit v1.2.3