Merge branch 'experiments' of bitbucket.org:Peter_Sewell/sail into experiments

1 files changed, 5 insertions, 8 deletions

diff --git a/lib/ocaml_rts/elf_loader.ml b/lib/ocaml_rts/elf_loader.ml
index 4e35a192..ab49c57b 100644
--- a/lib/ocaml_rts/elf_loader.ml
+++ b/lib/ocaml_rts/elf_loader.ml
@@ -122,11 +122,8 @@ let load_segment seg =
   List.iteri (fun i byte -> Sail_lib.wram (add_big_int paddr (big_int_of_int i)) byte) (List.map int_of_char bs)
 
 let load_elf () =
-  let name =
-    match !opt_file_arguments with
-    | (name :: _) -> name
-    | [] -> failwith "Must provide an elf file"
-  in
-  let segments, e_entry = read name in
-  List.iter load_segment segments;
-  ()
+  match !opt_file_arguments with
+  | (name :: _) ->
+     let segments, e_entry = read name in
+     List.iter load_segment segments
+  | [] -> ()