From 6ad6267d26b52258f6e0d4d004aeb5f36856cf95 Mon Sep 17 00:00:00 2001
From: azidar
Date: Wed, 4 Mar 2015 16:25:25 -0800
Subject: Finished infer-types pass

---
 spec/spec.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'spec')

diff --git a/spec/spec.tex b/spec/spec.tex
index d92785c5..fc8a8129 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -576,8 +576,8 @@ The resultant value of a divide operation has width equal to the width of the di
 \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)     \\
-\kws{mod-ss}(\pds{op1}, \pds{op2}) &   UInt & width(op2) - 1?  \\
+\kws{mod-su}(\pds{op1}, \pds{op2}) &   SInt & width(op2)     \\
+\kws{mod-ss}(\pds{op1}, \pds{op2}) &   SInt & width(op2) - 1?  \\
 \end{array}
 \]
 
-- 
cgit v1.2.3