diff options
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/abi.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 3f97f0dd..c3e72293 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -77,6 +77,8 @@ let tydesc_field_free_glue = 5;; let tydesc_field_sever_glue = 6;; let tydesc_field_mark_glue = 7;; let tydesc_field_obj_drop_glue = 8;; +let tydesc_field_cmp_glue = 9;; +let tydesc_field_hash_glue = 10;; let vec_elt_rc = 0;; let vec_elt_alloc = 1;; |