diff options
Diffstat (limited to 'byterun/globroots.c')
| -rw-r--r-- | byterun/globroots.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/byterun/globroots.c b/byterun/globroots.c index 154cabef0..684dfed96 100644 --- a/byterun/globroots.c +++ b/byterun/globroots.c @@ -55,7 +55,7 @@ struct global_root_list caml_global_roots = { NULL, { NULL, }, 0 }; /* Register a global C root */ -void register_global_root(value *r) +void caml_register_global_root(value *r) { struct global_root * update[MAX_LEVEL]; struct global_root * e, * f; @@ -95,7 +95,7 @@ void register_global_root(value *r) /* Un-register a global C root */ -void remove_global_root(value *r) +void caml_remove_global_root(value *r) { struct global_root * update[MAX_LEVEL]; struct global_root * e, * f; |