diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/type.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index a631e58d..13f25778 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -261,9 +261,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) = else LTYPE_poly ((Array.map (fun p -> p.Common.node) params), ty) | Ast.MOD_ITEM_type _ -> - Common.bug - () - "internal_check_mod_item_decl: unexpected mod item type" + Common.err None "Type-item used in non-type context" in let rec internal_check_base_lval |