Remove redundant _ match case

Timmmm · Sep 12, 2023 · 7682079 · 7682079
1 parent 9c6587e
commit 7682079
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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
     }
   }
 }