diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/stanza/passes.stanza | 2 |
1 files changed, 1 insertions, 1 deletions
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) |