diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/dwarf.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/me/dwarf.ml b/src/boot/me/dwarf.ml index 5137ae12..75b149a8 100644 --- a/src/boot/me/dwarf.ml +++ b/src/boot/me/dwarf.ml @@ -2974,8 +2974,8 @@ let rec extract_mod_items else None end in - assert ((Array.length members) > 0); - if is_num_idx (get_name members.(0)) + if Array.length members == 0 || + is_num_idx (get_name members.(0)) then let tys = Array.map get_referenced_ty members in Ast.TY_tup tys |