From ddc1a028c4c4e09b22346e30f5eb57155d218cf4 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Mon, 1 Jul 2019 07:16:25 -0700
Subject: [PATCH] [sledge] Manually set exception backtrace recording

Summary:
Base, ridiculously, enables backtrace recording by default. So
manually disable it unless in debug mode.

Reviewed By: kren1

Differential Revision: D16069450

fbshipit-source-id: 34cded329
---
 sledge/src/sledge.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sledge/src/sledge.ml b/sledge/src/sledge.ml
index ef6e33c12..dbc03782e 100644
--- a/sledge/src/sledge.ml
+++ b/sledge/src/sledge.ml
@@ -7,6 +7,8 @@
 
 (** SLEdge command line interface *)
 
+let () = Backtrace.Exn.set_recording Version.debug
+
 open Command.Let_syntax
 
 type 'a param = 'a Command.Param.t