Merge remote-tracking branch 'origin/sail2' into polymorphic_variants

1 files changed, 1 insertions, 1 deletions

diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml
index 3e4dc650..236c4222 100644
--- a/src/ocaml_backend.ml
+++ b/src/ocaml_backend.ml
@@ -673,7 +673,7 @@ let ocaml_main spec sail_dir =
     with
     | End_of_file -> close_in chan; lines := List.rev !lines
   end;
-  (("open " ^ String.capitalize_ascii spec ^ ";;\n\n") :: !lines
+  (("open " ^ String.capitalize spec ^ ";;\n\n") :: !lines
    @ [ "  zinitializze_registers ();";
        if !opt_trace_ocaml then "  Sail_lib.opt_trace := true;" else "  ();";
        "  Printexc.record_backtrace true;";