From d5cc42a7fd7f64ae24f17a67166941bbbfc969a3 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 9 Apr 2021 08:13:29 -0700
Subject: [PATCH] [sledge] Do not disable backtrace reporting in non-debug
 builds

Summary:
It is desirable to programmatically enable backtrace printing in debug
mode, but in other modes it should not forcably disabled. For example,
after this diff, executing
```
$ OCAMLRUNPARAM=b sledge.trc ...
```
now prints a backtrace if an unhandled exception is raised.

Reviewed By: ngorogiannis

Differential Revision: D27564883

fbshipit-source-id: 66ea5efe2
---
 sledge/cli/sledge_cli.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/cli/sledge_cli.ml b/sledge/cli/sledge_cli.ml
index 5631cb1d3..2e46cc9e9 100644
--- a/sledge/cli/sledge_cli.ml
+++ b/sledge/cli/sledge_cli.ml
@@ -270,7 +270,7 @@ let readme () =
 ;;
 Memtrace.trace_if_requested ()
 ;;
-Printexc.record_backtrace Version.debug
+if Version.debug then Printexc.record_backtrace true
 ;;
 Stdlib.Sys.catch_break true