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