diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-12-04 16:17:09 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-12-04 16:17:09 -0500 |
| commit | a83d5122d26716268343491cdb4809e8a5f2a78e (patch) | |
| tree | 147a990208e9611c02fe76683559028f496b2474 /src/Compilers | |
| parent | fe04d34c95b68bfa253631bfdfb61742e1bcf3b5 (diff) | |
Fix bugs introduced by previous commit
Diffstat (limited to 'src/Compilers')
| -rw-r--r-- | src/Compilers/FilterLive.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Compilers/FilterLive.v b/src/Compilers/FilterLive.v index 5f3f0156d..f54a8febb 100644 --- a/src/Compilers/FilterLive.v +++ b/src/Compilers/FilterLive.v @@ -46,7 +46,7 @@ Section language. match ns with | Some n => @filter_live_namesf - (prefix ++ repeat dead_name (count_pairs tx))%list remaining' _ + (prefix ++ List.repeat dead_name (count_pairs tx))%list remaining' _ (eC (SmartValf (fun _ => list Name) (fun _ => namesx ++ names_to_list n)%list _)) | None => nil end |