From af80cdc168ded04885a06728f703c6180221ece9 Mon Sep 17 00:00:00 2001
From: jrm <jrm@fb.com>
Date: Fri, 18 Mar 2016 18:12:09 -0700
Subject: [PATCH] Enable the printing of OCaml exceptions stack traces

Summary:public
TOgether with compiling Infer in debug mode, this allows to get exceptions stack traces when Infer fails

Reviewed By: sblackshear

Differential Revision: D2899992

fb-gh-sync-id: 55b4d3d
shipit-source-id: 55b4d3d
---
 infer/src/backend/inferanalyze.ml | 2 ++
 1 file changed, 2 insertions(+)

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 ();