Skip to content

Commit

Permalink
Apply suggestions from code review
Browse files Browse the repository at this point in the history
Co-authored-by: Pierrot <[email protected]>
  • Loading branch information
bclement-ocp and Halbaroth authored Aug 1, 2024
1 parent 9cf0a67 commit f55df31
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/lib/reasoners/rel_utils.ml
Original file line number Diff line number Diff line change
Expand Up @@ -497,7 +497,7 @@ module DomainMap
(** The type of per-variable domains. *)

val find : key -> t -> domain
(** Find the domain associatd with the given key.
(** Find the domain associated with the given key.
@raise Not_found if there is no domain associated with the key. *)

Expand Down Expand Up @@ -593,7 +593,7 @@ struct
end

let edit ~notify ~default t =
SX.iter notify t .changed;
SX.iter notify t.changed;

{ Ephemeral.domains = EX.edit ~default t.domains
; notify }
Expand Down

0 comments on commit f55df31

Please sign in to comment.