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 ->