diff --git a/infer/src/backend/inferanalyze.ml b/infer/src/backend/inferanalyze.ml
index a056fb382..56bff3e77 100644
--- a/infer/src/backend/inferanalyze.ml
+++ b/infer/src/backend/inferanalyze.ml
@@ -338,6 +338,8 @@ let process_cluster_cmdline fname =
       analyze_cluster (nr - 1)  cluster
 
 let () =
+  if !Config.developer_mode then
+    Printexc.record_backtrace true;
   print_prolog ();
   RegisterCheckers.register ();