From 3115b657fd392a3e46c0d4fd578bd5811a9ef6fe Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 10 Jul 2018 13:36:02 +0100 Subject: [PATCH] Fix parsing of package field when there is no public_name Signed-off-by: Jeremie Dimino --- src/jbuild.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jbuild.ml b/src/jbuild.ml index 6123df34..5dd0606d 100644 --- a/src/jbuild.ml +++ b/src/jbuild.ml @@ -1063,7 +1063,7 @@ module Executables = struct in match to_install with | [] -> - (field_o "package" loc >>= function + (field_o "package" (junk >>> loc) >>= function | None -> return (t, None) | Some loc -> Loc.warn loc