diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/type.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 4e737be2..77f8644b 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -438,9 +438,9 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) = try Hashtbl.find items id with Not_found -> - Common.bug - () - "internal_check_ext_lval: ident %s not found in mod item" + Common.err + None + "the name '%s' can't be found in the module" id in let lty = |