diff --git a/opam b/opam index a6056e18..80011e04 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "containers" -version: "1.5" +version: "1.5.1" author: "Simon Cruanes" maintainer: "simon.cruanes@inria.fr" build: [ diff --git a/src/core/CCFormat.ml b/src/core/CCFormat.ml index 7e0dfa50..965ff9ed 100644 --- a/src/core/CCFormat.ml +++ b/src/core/CCFormat.ml @@ -5,6 +5,8 @@ type 'a sequence = ('a -> unit) -> unit +include Format + type t = Format.formatter type 'a printer = t -> 'a -> unit diff --git a/src/core/CCFormat.mli b/src/core/CCFormat.mli index 65830791..a9f40d07 100644 --- a/src/core/CCFormat.mli +++ b/src/core/CCFormat.mli @@ -7,6 +7,8 @@ type 'a sequence = ('a -> unit) -> unit +include module type of Format + type t = Format.formatter type 'a printer = t -> 'a -> unit