diff options
Diffstat (limited to 'stdlib/obj.ml')
| -rw-r--r-- | stdlib/obj.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/obj.ml b/stdlib/obj.ml index f7ef1d32c3..a0eb7ef42b 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -24,7 +24,7 @@ external obj : t -> 'a = "%identity" external magic : 'a -> 'b = "%identity" external is_int : t -> bool = "%obj_is_int" let [@inline always] is_block a = not (is_int a) -external tag : t -> int = "caml_obj_tag" +external tag : t -> int = "caml_obj_tag" [@@noalloc] external set_tag : t -> int -> unit = "caml_obj_set_tag" external size : t -> int = "%obj_size" external reachable_words : t -> int = "caml_obj_reachable_words" |