From 65efa978e5f1bfd5e1d21a0076216c5923e9830f Mon Sep 17 00:00:00 2001 From: Sungkeun Cho Date: Tue, 2 Mar 2021 04:48:36 -0800 Subject: [PATCH] [pulse] Fix typo of issue type name of uninit/pulse Reviewed By: ezgicicek Differential Revision: D26727646 fbshipit-source-id: a58daf82b --- infer/src/base/IssueType.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index 3ffe4ef76..21bd19f34 100644 --- a/infer/src/base/IssueType.ml +++ b/infer/src/base/IssueType.ml @@ -929,8 +929,9 @@ let uninitialized_value = let uninitialized_value_pulse = - register ~enabled:false ~id:"PULSE_UNINITIALIZED_VALUE" Error Pulse ~hum:"Unitialized Value" - ~user_documentation:"See [UNITIALIZED_VALUE](#uninitialized_value). Re-implemented using Pulse." + register ~enabled:false ~id:"PULSE_UNINITIALIZED_VALUE" Error Pulse ~hum:"Uninitialized Value" + ~user_documentation: + "See [UNINITIALIZED_VALUE](#uninitialized_value). Re-implemented using Pulse." let unreachable_code_after =