Skip to content

Commit

Permalink
refactor(pkg): cleanup opens (#11318)
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg authored Jan 18, 2025
1 parent b06edfa commit a3ec877
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions src/dune_pkg/diagnostics.ml
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@
(** Explaining why a solve failed or gave an unexpected answer. *)

open Stdune
open Fiber.O
open Pp.O

module Make (Results : S.SOLVER_RESULT) = struct
open Fiber.O
open Pp.O
module Model = Results.Input
module RoleMap = Results.RoleMap

Expand Down
2 changes: 1 addition & 1 deletion src/dune_pkg/solver_core.ml
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ module Make (Model : S.SOLVER_INPUT) = struct
let vars t = List.map ~f:fst t.vars

let selected t =
let open Stdune.Option.O in
let open Option.O in
let* lit = t.clause >>= S.get_selected in
match S.get_user_data_for_lit lit with
| SolverData.ImplElem impl -> Some (lit, impl)
Expand Down

0 comments on commit a3ec877

Please sign in to comment.