diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/trans.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 3ad3ee06..1b3ad5d4 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -2664,12 +2664,12 @@ let trans_visitor nabi_rust (upcall_fixup name) args); and trans_log_int lev (a:Ast.atom) : unit = - trans_void_upcall "upcall_log_int" [| simm (Int64.of_int lev); - trans_atom a |] + trans_void_upcall "upcall_log_int_rustboot" [| simm (Int64.of_int lev); + trans_atom a |] and trans_log_str lev (a:Ast.atom) : unit = - trans_void_upcall "upcall_log_str" [| simm (Int64.of_int lev); - trans_atom a |] + trans_void_upcall "upcall_log_str_rustboot" [| simm (Int64.of_int lev); + trans_atom a |] and trans_spawn ((*initializing*)_:bool) |