diff options
Diffstat (limited to 'lib/ocaml_rts/elf_loader.ml')
| -rw-r--r-- | lib/ocaml_rts/elf_loader.ml | 13 |
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 + | [] -> () |