diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-15 01:26:43 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-15 01:26:52 -0400 |
| commit | 175a2f0fac3fe0ad3969ed0f2823d4c1e79d7c0c (patch) | |
| tree | b8a64b617e08e350747c6009efbee7ed15d7c33e /src/Compilers/Z | |
| parent | 91e1f5ec63604304cfe8d4211e053cb9fc9a827d (diff) | |
Add DeadCodeEliminationInterp
Diffstat (limited to 'src/Compilers/Z')
| -rw-r--r-- | src/Compilers/Z/Named/DeadCodeElimination.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Compilers/Z/Named/DeadCodeElimination.v b/src/Compilers/Z/Named/DeadCodeElimination.v index b74064ff9..449494e74 100644 --- a/src/Compilers/Z/Named/DeadCodeElimination.v +++ b/src/Compilers/Z/Named/DeadCodeElimination.v @@ -8,7 +8,7 @@ Section language. {Context : Context Name (fun _ : base_type => positive)}. Definition EliminateDeadCode {t} e ls - := @EliminateDeadCode base_type op Name Context t e ls. + := @EliminateDeadCode base_type op Name _ internal_base_type_dec_bl Context t e ls. Definition CompileAndEliminateDeadCode {t} e ls - := @CompileAndEliminateDeadCode base_type op Name Context t e ls. + := @CompileAndEliminateDeadCode base_type op Name _ internal_base_type_dec_bl Context t e ls. End language. |