From 777378e7cc09fe8778aa859cf2636b49b02c474f Mon Sep 17 00:00:00 2001
From: Dino Distefano <ddino@fb.com>
Date: Mon, 3 Oct 2016 10:01:20 -0700
Subject: [PATCH] Do not crash unless in debug mode

Reviewed By: jvillard

Differential Revision: D3950839

fbshipit-source-id: ffc34e7
---
 infer/src/backend/interproc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/interproc.ml b/infer/src/backend/interproc.ml
index 369e9ddd4..f0cda07df 100644
--- a/infer/src/backend/interproc.ml
+++ b/infer/src/backend/interproc.ml
@@ -831,7 +831,7 @@ let collect_postconditions wl tenv pdesc : Paths.PathSet.t * Specs.Visitedset.t
         compute_visited !vset_ref in
       do_join_post pname tenv pathset, visited with
     | exn when (match exn with Exceptions.Leak _ -> true | _ -> false) ->
-        raise (Failure "Leak in post collecion") in
+        L.d_strln"Leak in post collection"; assert false in
   L.d_strln
     ("#### [FUNCTION " ^ Procname.to_string pname ^ "] Postconditions after join ####");
   L.d_increase_indent 1;