From 355749c83d2066f1a149333ed762a7945d405076 Mon Sep 17 00:00:00 2001
From: azidar
Date: Tue, 3 Mar 2015 17:26:40 -0800
Subject: In progress for type inference. Looks like other code is breaking,
 and i dont understand why

---
 spec/spec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'spec')

diff --git a/spec/spec.tex b/spec/spec.tex
index 489dce23..d92785c5 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -573,7 +573,7 @@ The resultant value of a divide operation has width equal to the width of the di
 \[
 \begin{array}{rll}
 \kws{primop} & \kws{Resultant Type} & \kws{Resultant Width} \\
-\kws{mod}(   \pds{op1}, \pds{op2}) & UInt|SInt & width(op1)|width(op2) - 1  \\
+\kws{mod}(   \pds{op1}, \pds{op2}) &   UInt & width(op1)|width(op2) - 1  \\
 \kws{mod-uu}(\pds{op1}, \pds{op2}) &   UInt & width(op2)     \\
 \kws{mod-us}(\pds{op1}, \pds{op2}) &   UInt & width(op2) - 1?  \\
 \kws{mod-su}(\pds{op1}, \pds{op2}) &   UInt & width(op2)     \\
-- 
cgit v1.2.3