diff options
Diffstat (limited to 'mips_new_tc/mips_prelude.sail')
| -rw-r--r-- | mips_new_tc/mips_prelude.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips_new_tc/mips_prelude.sail b/mips_new_tc/mips_prelude.sail index d35017eb..b4f09548 100644 --- a/mips_new_tc/mips_prelude.sail +++ b/mips_new_tc/mips_prelude.sail @@ -428,7 +428,7 @@ function SignalExceptionMIPS (ex, kccBase) = nextPC = vectorBase + EXTS(vectorOffset) - kccBase; CP0Cause->ExcCode() = ExceptionCode(ex); CP0Status->EXL() = 0b1; - throw (ISAException); + throw (ISAException()); } /* Defined either in mips_wrappers (directly calling SignalExceptionMIPS) or in cheri_prelude_common (cheri things plus above) */ |