More trace log tweaks.

1 files changed, 2 insertions, 2 deletions

diff --git a/riscv/platform_main.ml b/riscv/platform_main.ml
index c4421cce..6014e7a9 100644
--- a/riscv/platform_main.ml
+++ b/riscv/platform_main.ml
@@ -64,7 +64,7 @@ let elf_arg =
   Arg.parse options (fun s -> opt_file_arguments := !opt_file_arguments @ [s])
             usage_msg;
   ( match !opt_file_arguments with
-      | f :: _ -> prerr_endline ("Loading ELF file " ^ f); f
+      | f :: _ -> prerr_endline ("Sail/RISC-V: running ELF file " ^ f); f
       | _ -> (prerr_endline "Please provide an ELF file."; exit 0)
   )
 
@@ -78,7 +78,7 @@ let () =
       try ( zinit_platform (); (* devices *)
             zinit_sys ();      (* processor *)
             zPC := pc;
-            zloop (Elf_loader.elf_tohost ())
+            zloop ()
           )
       with
         | ZError_not_implemented (zs) ->