From 7682079db2a3aaa3b21505a664b49269df1fb401 Mon Sep 17 00:00:00 2001
From: Tim Hutt <timothy.hutt@codasip.com>
Date: Fri, 11 Aug 2023 16:03:14 +0100
Subject: [PATCH] Remove redundant _ match case

---
 model/riscv_sys_control.sail | 1 -
 1 file changed, 1 deletion(-)

diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail
index d057ad6c0..b8540538c 100644
--- a/model/riscv_sys_control.sail
+++ b/model/riscv_sys_control.sail
@@ -205,7 +205,6 @@ function check_seed_CSR (csr : csreg, p : Privilege, isWrite : bool) -> bool = {
       Machine => true,
       Supervisor => false, /* TODO: base this on mseccfg */
       User => false, /* TODO: base this on mseccfg */
-      _ => false
     }
   }
 }