diff options
| author |  Robert Sloan <varomodt@google.com> | 2016-10-14 15:51:04 -0700 |
|---|---|---|
| committer | Robert Sloan <varomodt@google.com> | 2016-10-14 15:52:44 -0700 |
| commit | ad5c28e00ca3fb89508138354ddaf2f5ba79bd0b (patch) | |
| tree | ee551d34092e24707a93a213ce981dcda4c41357 /src/Assembly/Compile.v | |
| parent | eb17dcf4c1e7de88b24fcf3835a98756e5da2475 (diff) | |
Making sub bounds actually tight
Diffstat (limited to 'src/Assembly/Compile.v')
| -rw-r--r-- | src/Assembly/Compile.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Assembly/Compile.v b/src/Assembly/Compile.v index d73ed8a07..53612cfbb 100644 --- a/src/Assembly/Compile.v +++ b/src/Assembly/Compile.v @@ -245,7 +245,7 @@ Module CompileLL. omap (exprF (S (S nextRegName)) (eC var)) (fun out => omap (argToTT var) (fun var' => - update (reg w (S nextRegName)) var' op' x' y' out)))))) + update (reg w nextRegName) var' op' x' y' out)))))) | Return _ a => get _ a end. End ExprF. |