diff --git a/src/core/CCChar.ml b/src/core/CCChar.ml index 563bc962..026c7fbb 100644 --- a/src/core/CCChar.ml +++ b/src/core/CCChar.ml @@ -9,6 +9,7 @@ type t = char let equal (a:char) b = a=b let compare = Char.compare +let pp = Buffer.add_char let print = Format.pp_print_char diff --git a/src/core/CCChar.mli b/src/core/CCChar.mli index c5af32c4..14a8cb18 100644 --- a/src/core/CCChar.mli +++ b/src/core/CCChar.mli @@ -10,5 +10,6 @@ type t = char val equal : t -> t -> bool val compare : t -> t -> int +val pp : Buffer.t -> t -> unit val print : Format.formatter -> t -> unit