diff options
Diffstat (limited to 'byterun/obj.c')
-rw-r--r-- | byterun/obj.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/byterun/obj.c b/byterun/obj.c index 1d7b57910..b045fee26 100644 --- a/byterun/obj.c +++ b/byterun/obj.c @@ -255,3 +255,7 @@ CAMLprim value caml_set_oo_id (value obj) { oo_last_id += 2; return obj; } + +CAMLprim value caml_int_as_pointer (value n) { + return n - 1; +} |