From 10c5447608501f52cff1e95a7ec4f5dd1327bc29 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 6 Apr 2018 11:37:19 +0800 Subject: [PATCH] Print backtrace in case of uncaught exception Otherwise uncaught by configurator are hard to debug --- src/configurator/configurator.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/configurator/configurator.ml b/src/configurator/configurator.ml index 7b676e8c..3eefb311 100644 --- a/src/configurator/configurator.ml +++ b/src/configurator/configurator.ml @@ -452,4 +452,4 @@ let main ?(args=[]) ~name f = | Fatal_error msg -> eprintf "Error: %s\n%!" msg; exit 1 - | exn -> raise exn + | _ -> Exn.reraise exn