diff options
Diffstat (limited to 'mips_new_tc')
| -rw-r--r-- | mips_new_tc/mips_wrappers.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips_new_tc/mips_wrappers.sail b/mips_new_tc/mips_wrappers.sail index 5b36983d..c5eb6cf4 100644 --- a/mips_new_tc/mips_wrappers.sail +++ b/mips_new_tc/mips_wrappers.sail @@ -69,6 +69,6 @@ function (bit[64]) TranslatePC ((bit[64]) vAddr) = { let have_cp2 = false -function unit SignalException ((Exception) ex) = SignalExceptionMIPS(ex, 0x0000000000000000) +function forall Type 'o. 'o SignalException ((Exception) ex) = SignalExceptionMIPS(ex, 0x0000000000000000) function unit ERETHook() = () |