From b8426be3105c1e7e47db448ccd621f10cd649d33 Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Thu, 6 Sep 2018 05:14:05 -0700
Subject: [PATCH] Dummy_exception: use IssueType.analysis_stops

Reviewed By: martinoluca

Differential Revision: D9633599

fbshipit-source-id: b0d4c33b3
---
 infer/src/IR/Exceptions.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/IR/Exceptions.ml b/infer/src/IR/Exceptions.ml
index 15e0c8c6e..bd5c9c015 100644
--- a/infer/src/IR/Exceptions.ml
+++ b/infer/src/IR/Exceptions.ml
@@ -251,7 +251,7 @@ let recognize_exception exn =
       ; severity= None
       ; category= Checker }
   | Dummy_exception desc ->
-      { name= IssueType.from_string "Analysis stops"
+      { name= IssueType.analysis_stops
       ; description= desc
       ; ocaml_pos= None
       ; visibility= Exn_developer