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 55695114..591f31eb 100644 --- a/src/ocaml_backend.ml +++ b/src/ocaml_backend.ml @@ -631,7 +631,7 @@ let ocaml_defs (Defs defs) = let empty_reg_init = if ctx.register_inits = [] then - separate space [string "let"; string "initialize_registers"; string "()"; equals; string "()"] + separate space [string "let"; string "zinitializze_registers"; string "()"; equals; string "()"] ^^ ocaml_def_end else empty in |