diff options
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/abi.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 150f4cc2..3ae3b843 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -93,7 +93,8 @@ let tydesc_field_stateflag = 11;; let vec_elt_rc = 0;; let vec_elt_alloc = 1;; let vec_elt_fill = 2;; -let vec_elt_data = 3;; +let vec_elt_pad = 3;; +let vec_elt_data = 4;; let calltup_elt_out_ptr = 0;; let calltup_elt_task_ptr = 1;; |