From 77a5fbd7ba133445dc5028002c13ca3fabb484f2 Mon Sep 17 00:00:00 2001
From: Martino Luca <martinoluca@fb.com>
Date: Mon, 19 Nov 2018 04:02:20 -0800
Subject: [PATCH] [Perf] Emit reports as Advice

Reviewed By: ddino

Differential Revision: D13118620

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

diff --git a/infer/src/backend/Differential.ml b/infer/src/backend/Differential.ml
index 86e654c36..fe522bf3f 100644
--- a/infer/src/backend/Differential.ml
+++ b/infer/src/backend/Differential.ml
@@ -164,7 +164,7 @@ let issue_of_cost cost_info ~delta ~prev_cost ~curr_cost =
     let trace =
       [Errlog.make_trace_element 0 {Location.line; col= column; file= source_file} "" []]
     in
-    let severity = Exceptions.Warning in
+    let severity = Exceptions.Advice in
     Some
       { Jsonbug_j.bug_type= issue_type.IssueType.unique_id
       ; qualifier