diff options
| author | Robert Norton | 2018-02-05 16:07:09 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-02-05 16:07:09 +0000 |
| commit | 0fc31bb06b7676d29758a36ab4f120b10f5c6cd1 (patch) | |
| tree | 6fc882ca9158430362362c5742b4563d2ce4637f /riscv | |
| parent | 87be56f53dcba7fa1649590858ab059a38103183 (diff) | |
squash a warning.
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/riscv_sys.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/riscv/riscv_sys.sail b/riscv/riscv_sys.sail index 99de174c..68ef7a55 100644 --- a/riscv/riscv_sys.sail +++ b/riscv/riscv_sys.sail @@ -332,7 +332,8 @@ function handle_exception_ctl(cur_priv : privilege, ctl : ctl_result, Some(a) => mtval = a, None => throw(Error_internal_error) } - } + }, + _ => throw(Error_internal_error) /* Don't expect ReservedExc0 etc. here */ }; /* TODO: make register read explicit */ mtvec |