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