From 0fc31bb06b7676d29758a36ab4f120b10f5c6cd1 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 5 Feb 2018 16:07:09 +0000
Subject: squash a warning.

---
 riscv/riscv_sys.sail | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3