From 30d869b9b15988cbc63a47181767c567bac4c3cf Mon Sep 17 00:00:00 2001
From: martinoluca <martinoluca@fb.com>
Date: Thu, 1 Oct 2015 08:27:38 -0700
Subject: [PATCH] Disable SKIP_FUNCTIONs when Infer is not running in debug
 mode

Reviewed By: @cristianoc

Differential Revision: D2498403
---
 infer/src/backend/exceptions.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/exceptions.ml b/infer/src/backend/exceptions.ml
index 6a56a706b..61b9a020b 100644
--- a/infer/src/backend/exceptions.ml
+++ b/infer/src/backend/exceptions.ml
@@ -198,7 +198,7 @@ let recognize_exception exn =
     | Timeout_exe _ ->
         (Localise.from_string "Timeout_exe", Localise.no_desc, None, Exn_system, Low, None, Nocat)
     | Skip_function desc ->
-        (Localise.skip_function, desc, None, Exn_user, Low, None, Nocat)
+        (Localise.skip_function, desc, None, Exn_developer, Low, None, Nocat)
     | Skip_pointer_dereference (desc, mloc) ->
         (Localise.skip_pointer_dereference, desc, Some mloc, Exn_user, Medium, Some Kinfo, Nocat) (** always an info *)
     | Symexec_memory_error mloc ->