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 429a1406..b1410fa4 100644 --- a/src/main/stanza/passes.stanza +++ b/src/main/stanza/passes.stanza @@ -1395,7 +1395,7 @@ defn solve-constraints (l:List<WGeq>) -> HashTable<Symbol,Int> : (w1,w2) : w (w:ExpWidth) : match(arg1(w)) : - (w1:IntWidth) : IntWidth(pow(2,width(w1))) + (w1:IntWidth) : IntWidth(pow(2,width(w1)) - 1) (w1) : w (w) : w defn substitute (w:Width,h:HashTable<Symbol,Width>) -> Width : |