From 863cc0cffbe45bcaf19bb6caf89b47b5f5617c7d Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sat, 26 Aug 2023 09:16:02 +0100 Subject: [PATCH] refactor: make [Dune_project.version] hidden (#8510) Signed-off-by: Rudi Grinberg --- src/dune_rules/dune_project.ml | 1 - src/dune_rules/dune_project.mli | 1 - 2 files changed, 2 deletions(-) diff --git a/src/dune_rules/dune_project.ml b/src/dune_rules/dune_project.ml index 19bf0ae73a4..d60e99657ea 100644 --- a/src/dune_rules/dune_project.ml +++ b/src/dune_rules/dune_project.ml @@ -159,7 +159,6 @@ type t = let equal = ( == ) let hash = Poly.hash let packages t = t.packages -let version t = t.version let name t = t.name let root t = t.root let stanza_parser t = t.stanza_parser diff --git a/src/dune_rules/dune_project.mli b/src/dune_rules/dune_project.mli index be8f963e338..b2141e8366d 100644 --- a/src/dune_rules/dune_project.mli +++ b/src/dune_rules/dune_project.mli @@ -41,7 +41,6 @@ end val to_dyn : t -> Dyn.t val file_key : t -> File_key.t val packages : t -> Package.t Package.Name.Map.t -val version : t -> string option val name : t -> Name.t val root : t -> Path.Source.t val stanza_parser : t -> Dune_lang.Stanza.t list Dune_lang.Decoder.t