Use the generated num_of_E function for enum E instead of defining one by hand.

1 files changed, 1 insertions, 1 deletions

diff --git a/riscv/riscv_sys.sail b/riscv/riscv_sys.sail
index cee3ede4..dfed02c4 100644
--- a/riscv/riscv_sys.sail
+++ b/riscv/riscv_sys.sail
@@ -459,7 +459,7 @@ function check_CSR(csr : csreg, p : Privilege, isWrite : bool) -> bool =
  * it occured, returns the privilege at which it should be handled.
  */
 function exception_delegatee(e : ExceptionType, p : Privilege) -> Privilege = {
-  let idx   = exceptionType_to_nat(e);
+  let idx   = num_of_ExceptionType(e);
   let super = medeleg.bits()[idx];
   let user  = sedeleg.bits()[idx];
   let deleg = /* if      misa.N() == true & user  then User