diff --git a/sledge/cli/sledge_cli.ml b/sledge/cli/sledge_cli.ml
index 4e2bfffb7..33a7b9a76 100644
--- a/sledge/cli/sledge_cli.ml
+++ b/sledge/cli/sledge_cli.ml
@@ -271,6 +271,8 @@ let readme () =
 
 ;;
 Printexc.record_backtrace Version.debug
+;;
+Stdlib.Sys.catch_break true
 
 ;;
 Command.run ~version:Version.version ~build_info:Version.build_info