diff options
Diffstat (limited to 'src/ocaml_backend.ml')
| -rw-r--r-- | src/ocaml_backend.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml index 89220356..55695114 100644 --- a/src/ocaml_backend.ml +++ b/src/ocaml_backend.ml @@ -647,7 +647,7 @@ let ocaml_main spec = ^//^ (string "Random.self_init ();" ^/^ string "load_elf ();" ^/^ string (if !opt_trace_ocaml then "Sail_lib.opt_trace := true;" else "Sail_lib.opt_trace := false;") - ^/^ string "initialize_registers ();" + ^/^ string "zinitializze_registers ();" ^/^ string "Printexc.record_backtrace true;" ^/^ string "zmain ()") ] |