diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/input.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/input.ml b/lib/input.ml index 208cf4d..957e7fd 100644 --- a/lib/input.ml +++ b/lib/input.ml @@ -292,7 +292,9 @@ let jg_models2 (input : t) (needle : string) : Jingoo.Jg_types.tvalue = htbl end in - try Hashtbl.find hashtbl needle with Not_found -> Tnull + match Hashtbl.find_opt hashtbl needle with + | Some value -> value + | None -> Tnull (* NIXPKGS ********************************************************************) |