From 1bff4990a3db7ae1876a2e9220ee0701fb762ff2 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 20 Feb 2024 21:17:53 -0800 Subject: [PATCH] refactor: hide private function (#10082) Signed-off-by: Rudi Grinberg --- bin/common.mli | 2 -- 1 file changed, 2 deletions(-) diff --git a/bin/common.mli b/bin/common.mli index aab9d3aef1e..025ee60fc9a 100644 --- a/bin/common.mli +++ b/bin/common.mli @@ -49,8 +49,6 @@ module Builder : sig val term : t Cmdliner.Term.t end -val build : Builder.t -> t - (** [init] creates a [Common.t] by executing a sequence of side-effecting actions to initialize Dune's working environment based on the options determined in the\ [Builder.t].