From c1738a1b30e8e1b52c423e603968ef1c9cb8fca9 Mon Sep 17 00:00:00 2001
From: Albert Magyar
Date: Mon, 10 Feb 2020 18:46:38 -0700
Subject: [spec] Change sub(UInt, UInt) output type to UInt (#1378)

---
 spec/spec.pdf | Bin 275421 -> 275420 bytes
 spec/spec.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

(limited to 'spec')

diff --git a/spec/spec.pdf b/spec/spec.pdf
index e49441ad..d39d342d 100644
Binary files a/spec/spec.pdf and b/spec/spec.pdf differ
diff --git a/spec/spec.tex b/spec/spec.tex
index a8a40da4..361b435f 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -1249,7 +1249,7 @@ The add operation result is the sum of \vv{e1} and \vv{e2} without loss of preci
 {\ttfamily
 \begin{tabular}{ |c|c|c|c|c|c| }
   \opheader
-sub & (e1,e2) & () & (UInt,UInt) & SInt & max(w\ts{e1},w\ts{e2})+1\\
+sub & (e1,e2) & () & (UInt,UInt) & UInt & max(w\ts{e1},w\ts{e2})+1\\
                  &&& (SInt,SInt) & SInt & max(w\ts{e1},w\ts{e2})+1\\
  \hline
 \end{tabular}
-- 
cgit v1.2.3