From 858ef0e90f591b5179871ea60d12f57e37714c0f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 2 Jan 2018 23:39:55 +0100 Subject: [PATCH] missing extension of Format --- src/core/CCFormat.ml | 2 ++ src/core/CCFormat.mli | 2 ++ 2 files changed, 4 insertions(+) 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