From 173f07a8386bf4d3d45b49d3dc01ab047b3ad4f9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 28 Sep 2015 16:50:25 +0200
Subject: Future: make not-here/not-ready messages customizable

---
 lib/future.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/future.mli')

diff --git a/lib/future.mli b/lib/future.mli
index 324d5f7d10..de2282ae92 100644
--- a/lib/future.mli
+++ b/lib/future.mli
@@ -161,3 +161,6 @@ val print : ('a -> Pp.std_ppcmds) -> 'a computation -> Pp.std_ppcmds
    Thy are set for the outermos layer of the system, since they have to
    deal with the whole system state. *)
 val set_freeze : (unit -> Dyn.t) -> (Dyn.t -> unit) -> unit
+
+val customize_not_ready_msg : (string -> Pp.std_ppcmds) -> unit
+val customize_not_here_msg : (string -> Pp.std_ppcmds) -> unit
-- 
cgit v1.2.3