diff options
Diffstat (limited to 'src/boot/me/dwarf.ml')
| -rw-r--r-- | src/boot/me/dwarf.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/dwarf.ml b/src/boot/me/dwarf.ml index 3aaa1f2f..d3fb81de 100644 --- a/src/boot/me/dwarf.ml +++ b/src/boot/me/dwarf.ml @@ -2082,7 +2082,7 @@ let dwarf_visitor | Ast.TY_mutable t -> mutable_type t | Ast.TY_box t -> box_type t | _ -> - bug () "unimplemented dwarf encoding for type %a" + unimpl None "dwarf encoding for type %a" Ast.sprintf_ty ty in |