diff options
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/abi.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 1a432086..9108a182 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -57,8 +57,9 @@ let tydesc_field_align = 2;; let tydesc_field_copy_glue = 3;; let tydesc_field_drop_glue = 4;; let tydesc_field_free_glue = 5;; -let tydesc_field_mark_glue = 6;; -let tydesc_field_obj_drop_glue = 7;; +let tydesc_field_sever_glue = 6;; +let tydesc_field_mark_glue = 7;; +let tydesc_field_obj_drop_glue = 8;; let vec_elt_rc = 0;; let vec_elt_alloc = 1;; |