diff options
| author | jackbackrack | 2015-04-23 12:01:28 -0700 |
|---|---|---|
| committer | jackbackrack | 2015-04-23 12:01:28 -0700 |
| commit | 0d3bcd51462efb2316209538dfca47b7a6cb5731 (patch) | |
| tree | 7b23a98fef7fce95a59f8788279de7805440cdd8 /src | |
| parent | a60a8951ff54342ee7d57484a535b05daebd3341 (diff) | |
| parent | 7f8758420a2a46d7cf19441e9fbd1dba82cae612 (diff) | |
merge
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 8ca29258..e6206b60 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) |