From 7247e91244beb136dc4973ec6972b867edee76ca Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Wed, 2 Sep 2020 18:03:21 -0700 Subject: [PATCH] _ Signed-off-by: Rudi Grinberg --- src/dune_engine/install.ml | 2 +- src/dune_engine/install.mli | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/dune_engine/install.ml b/src/dune_engine/install.ml index 65bdedac98b3..a5371e755c5d 100644 --- a/src/dune_engine/install.ml +++ b/src/dune_engine/install.ml @@ -1,6 +1,6 @@ open! Stdune open Import -module DuneSection = Section +module Dune_section = Section (* The path after the man section mangling done by opam-installer. This roughly follows [add_man_section_dir] in [src/format/opamFile.ml] in opam. *) diff --git a/src/dune_engine/install.mli b/src/dune_engine/install.mli index f90afb7c2c74..4b2380f53085 100644 --- a/src/dune_engine/install.mli +++ b/src/dune_engine/install.mli @@ -1,7 +1,7 @@ (** Opam install file *) open! Stdune -module DuneSection = Section +module Dune_section = Section module Dst : sig type t @@ -82,7 +82,7 @@ module Entry : sig val make_with_site : Section_with_site.t -> ?dst:string - -> (pkg:Package.Name.t -> site:DuneSection.Site.t -> Section.t) + -> (pkg:Package.Name.t -> site:Dune_section.Site.t -> Section.t) -> Path.Build.t -> Path.Build.t t