Merge branch 'sail2' into mappings

1 files changed, 0 insertions, 1 deletions

diff --git a/riscv/main.sail b/riscv/main.sail
index 8accaf5b..e108c3dc 100644
--- a/riscv/main.sail
+++ b/riscv/main.sail
@@ -51,7 +51,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")
   }*/
 }