From 7f8758420a2a46d7cf19441e9fbd1dba82cae612 Mon Sep 17 00:00:00 2001
From: azidar
Date: Thu, 23 Apr 2015 11:43:11 -0700
Subject: Fixed Pad inference bug

---
 src/main/stanza/passes.stanza | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza
index 588b4b73..50d2831a 100644
--- a/src/main/stanza/passes.stanza
+++ b/src/main/stanza/passes.stanza
@@ -1584,7 +1584,7 @@ defn gen-constraints (m:Module, h:HashTable<Symbol,Type>, v:Vector<WGeq>) -> Mod
          (e:Pad) : 
             val value-w = width!(value(e))
             val pad-w = remove-unknowns-w(width(e))
-            ;add(v,WGeq(pad-w, IntWidth(0)))
+            add(v,WGeq(pad-w, value-w))
             val pad-t = match(type(e)) :
                (t:UIntType) : UIntType(pad-w)
                (t:SIntType) : SIntType(pad-w)
-- 
cgit v1.2.3