Fix the ebreak instruction to trap, and remove the now obsolete internal exception. This should fix the sbreak test.

1 files changed, 0 insertions, 1 deletions

diff --git a/riscv/main.sail b/riscv/main.sail
index 28afe5ac..0a46181b 100644
--- a/riscv/main.sail
+++ b/riscv/main.sail
@@ -43,7 +43,6 @@ function main () = {
     loop ()
   } catch {
     Error_not_implemented(s) => print_string("Error: Not implemented: ", s),
-    Error_EBREAK() => print("EBREAK"),
     Error_internal_error() => print("Error: internal error")
   }
 }