From b3cbb518b47cd56b43ccd24f9cdecd70cfad775c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 13 Oct 2015 17:37:27 +0200
Subject: [PATCH] missing printer

---
 src/core/CCChar.ml  | 1 +
 src/core/CCChar.mli | 1 +
 2 files changed, 2 insertions(+)

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