diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-07-07 18:08:41 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-07-07 18:08:41 -0400 |
| commit | 2f93457abac5bf95633c49ba49a4e1e0fb552633 (patch) | |
| tree | aaf72d6de5422500cea2d912c36e31d8f35359eb /src | |
| parent | de2e1452ef48263c54daff46c8b56b7247df746f (diff) | |
Fix CSE_sym denote
Diffstat (limited to 'src')
| -rw-r--r-- | src/Compilers/CommonSubexpressionEliminationDenote.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Compilers/CommonSubexpressionEliminationDenote.v b/src/Compilers/CommonSubexpressionEliminationDenote.v index c45fae00e..2218f62eb 100644 --- a/src/Compilers/CommonSubexpressionEliminationDenote.v +++ b/src/Compilers/CommonSubexpressionEliminationDenote.v @@ -58,7 +58,7 @@ Section symbolic. := match se, t with | STT, Unit => Some tt | SVar n, t - => match List.nth_error m (length m - n) with + => match List.nth_error m (length m - S n) with | Some e => @var_cast _ t (projT2 (snd e)) | None => None end |