From ffa090c10d6210395e3f304e56008e2183a85698 Mon Sep 17 00:00:00 2001
From: azidar
Date: Fri, 6 Nov 2015 09:51:59 -0800
Subject: WIP

---
 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 4f146552..09fed6b7 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -990,8 +990,8 @@ The output width of a dynamic shift left operation is the width of the original
 \[
 \begin{array}{rll}
 \kws{primop} & \kws{Resultant Type} & \kws{Resultant Width} \\
-\kws{dshr}(\pds{op}:UInt, \pds{op2}:UInt)  & UInt & width(op) \\
-\kws{dshr}(\pds{op}:SInt, \pds{op2}:UInt)  & SInt & width(op) \\
+\kws{dshr}(\pds{op1}:UInt, \pds{op2}:UInt)  & UInt & width(op1) \\
+\kws{dshr}(\pds{op1}:SInt, \pds{op2}:UInt)  & SInt & width(op1) \\
 \end{array}
 \]
 The shift right operation accepts either an unsigned or a signed integer, plus a non-negative integer literal specifying the number of bits to shift.
-- 
cgit v1.2.3