From fff366c41c479720d008510f264b240ab33537de Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 3 Oct 2015 08:52:14 +0200 Subject: [PATCH] use more retro-compatible fun for `CCError.of_exn_trace` --- src/core/CCError.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/core/CCError.ml b/src/core/CCError.ml index c3b5a0f2..a9336abb 100644 --- a/src/core/CCError.ml +++ b/src/core/CCError.ml @@ -79,8 +79,7 @@ let of_exn_trace e = in try_printers !_printers; Buffer.add_string buf "\nstack trace:\n"; - Buffer.add_string buf - (Printexc.raw_backtrace_to_string (Printexc.get_raw_backtrace ())); + Buffer.add_string buf (Printexc.get_backtrace ()); `Error (Buffer.contents buf) let map f e = match e with