diff options
Diffstat (limited to 'mips/mips_epilogue.sail')
| -rw-r--r-- | mips/mips_epilogue.sail | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/mips/mips_epilogue.sail b/mips/mips_epilogue.sail index 1b8d64f7..3771e26e 100644 --- a/mips/mips_epilogue.sail +++ b/mips/mips_epilogue.sail @@ -34,11 +34,6 @@ (* mips_epilogue.sail: end of decode, execute and AST definitions. *) -union ast member unit RI -function clause decode _ = Some(RI) -function clause execute (RI) = - SignalException (ResI) - end decode end execute end ast |