diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/global_checks.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/global_checks.ml b/src/global_checks.ml index 4a97221..c50bb31 100644 --- a/src/global_checks.ml +++ b/src/global_checks.ml @@ -554,10 +554,10 @@ let get_methods_available state = | None -> if Hashtbl.mem package.vars_declared (I_func, "new") then [package] else [] | Some l -> - package :: List.map (fun (pkg, pos) -> + package :: filter_some_with (fun (pkg, pos) -> try - Hashtbl.find state.per_packages pkg - with Not_found -> die_with_pos pos ("bad package " ^ pkg) + Some (Hashtbl.find state.per_packages pkg) + with Not_found -> (warn_with_pos [] pos ("can't find package " ^ pkg); None) ) l ) state.per_packages ) in |