diff options
Diffstat (limited to 'mips/mips_epilogue.sail')
| -rw-r--r-- | mips/mips_epilogue.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mips/mips_epilogue.sail b/mips/mips_epilogue.sail index 710c277b..6b789639 100644 --- a/mips/mips_epilogue.sail +++ b/mips/mips_epilogue.sail @@ -32,6 +32,8 @@ (* SUCH DAMAGE. *) (*========================================================================*) +(* mips_epilogue.sail: end of decode, execute and AST definitions. *) + union ast member unit RI function clause decode _ = Some(RI) function clause execute (RI) = |