From 595590d9c8dd6d2ef93913c257de5d9bd0987f50 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Dimino?= Date: Mon, 27 Feb 2017 08:45:00 +0000 Subject: [PATCH] Fix a small problem in findlib.ml --- src/findlib.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/findlib.ml b/src/findlib.ml index 7a6fb790..af3ae012 100644 --- a/src/findlib.ml +++ b/src/findlib.ml @@ -389,9 +389,8 @@ let find_exn t name = | Some (Present x) -> x | Some Absent -> raise (Package_not_found name) | None -> - code_errorf - "Package %S not in the package table after loading the appropriate META files" - name + Hashtbl.add t.packages ~key:name ~data:Absent; + raise (Package_not_found name) let available t name = match find_exn t name with