summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/input.ml4
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 ********************************************************************)