From e6cc52efca8c7395aaa828500e908fc8a0489e52 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 10 Oct 2018 22:02:00 +0200
Subject: Removing debugging warning when no exception handler is registered in
 futures.

As far as I understood, this was useful for tine-tuning the stm but
this is no longuer needed: it is ok not to have exception handler when
a constant registration does not span over several commands (such as
"Goal ... Qed" or obligations).
---
 lib/future.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/future.ml b/lib/future.ml
index b372bedc5d..6e7c6fd9e3 100644
--- a/lib/future.ml
+++ b/lib/future.ml
@@ -33,7 +33,7 @@ let _ = CErrors.register_handler (function
   | _ -> raise CErrors.Unhandled)
 
 type fix_exn = Exninfo.iexn -> Exninfo.iexn
-let id x = prerr_endline "Future: no fix_exn.\nYou have probably created a Future.computation from a value without passing the ~fix_exn argument.  You probably want to chain with an already existing future instead."; x
+let id x = x
 
 module UUID = struct
   type t = int
-- 
cgit v1.2.3