1 files changed, 1 insertions, 0 deletions
diff --git a/riscv/main.sail b/riscv/main.sail
index c923935b..b2a53b11 100644
--- a/riscv/main.sail
+++ b/riscv/main.sail
@@ -11,6 +11,7 @@ val elf_entry = {
 val main : unit -> unit effect {barr, eamem, escape, exmem, rmem, rreg, wmv, wreg}
 
 function main () = {
+
   PC = __GetSlice_int(64, elf_entry(), 0);
   try {
     init_sys ();