Skip to content

Commit

Permalink
add json/pp to Ty_reg.clique
Browse files Browse the repository at this point in the history
  • Loading branch information
c-cube committed Jul 16, 2024
1 parent fe81817 commit 17ee531
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/typereg/ty_def.ml
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ type t = {
}
[@@deriving show { with_path = false }, eq, yojson]

type clique = t list
type clique = t list [@@deriving eq, yojson, show]

let map ~f (self : t) : t = { self with decl = map_decl ~f self.decl }

Expand Down

0 comments on commit 17ee531

Please sign in to comment.