From a3346384c4fc0496caae494c8f1e1386dc07aa3d Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Fri, 24 Feb 2017 14:23:17 +0000 Subject: [PATCH] remove an assert false --- src/findlib.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/findlib.ml b/src/findlib.ml index 2e959bb8..f97bb863 100644 --- a/src/findlib.ml +++ b/src/findlib.ml @@ -382,7 +382,10 @@ let find_exn t name = match Hashtbl.find t.packages name with | Some (Present x) -> x | Some Absent -> raise (Package_not_found name) - | None -> assert false + | None -> + code_errorf + "Package %S not in the package table after loading the appropriate META files" + name let available t name = match find_exn t name with