From 1b8fc4e642586706c9f9e3396e18362bdf1488e4 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 19 Jan 2025 01:08:52 +0000 Subject: [PATCH] refactor(pkg): remove [diagnostics] alias (#11339) Signed-off-by: Rudi Grinberg --- src/dune_pkg/opam_solver.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/dune_pkg/opam_solver.ml b/src/dune_pkg/opam_solver.ml index 778be5ba8d0..bd68b5a0004 100644 --- a/src/dune_pkg/opam_solver.ml +++ b/src/dune_pkg/opam_solver.ml @@ -632,11 +632,9 @@ module Solver = struct ;; end - type diagnostics = S.lit - type selection = { impl : Input.Impl.t (** The implementation chosen to fill the role *) - ; diagnostics : diagnostics (** Extra information useful for diagnostics *) + ; diagnostics : S.lit (** Extra information useful for diagnostics *) } module Conflict_classes = struct