From 2bf15067cbf17630a865f997ca9ef472a51d50c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Thu, 23 Mar 2017 17:03:52 +0100 Subject: [PATCH] Remove comment for 4.02.3 --- src/gen_rules.mli | 2 +- vendor/re/src/jbuild | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/gen_rules.mli b/src/gen_rules.mli index 4f17b76f..13c2615c 100644 --- a/src/gen_rules.mli +++ b/src/gen_rules.mli @@ -2,7 +2,7 @@ open! Import val gen : contexts:Context.t list - -> ?filter_out_optional_stanzas_with_missing_deps:bool (** default: true *) + -> ?filter_out_optional_stanzas_with_missing_deps:bool (* default: true *) -> ?only_packages:String_set.t -> Jbuild_load.conf -> (Build_interpret.Rule.t list * diff --git a/vendor/re/src/jbuild b/vendor/re/src/jbuild index 107e1ad5..b9fdf880 100644 --- a/vendor/re/src/jbuild +++ b/vendor/re/src/jbuild @@ -3,4 +3,5 @@ (library ((name jbuilder_re) ;; (public_name jbuilder.re) + (flags (:standard -w -50)) (synopsis "Internal Jbuilder library, do not use!")))