From 2c93de142ebe731c0e4ffc03d0ac52f6ecd4ea7e Mon Sep 17 00:00:00 2001
From: Daiva Naudziuniene <daivan@fb.com>
Date: Mon, 28 Jun 2021 12:27:14 -0700
Subject: [PATCH] [minor] Unnecessary sprintf

Reviewed By: jvillard

Differential Revision: D29433849

fbshipit-source-id: 23330f1c1
---
 infer/src/pulse/PulseDiagnostic.ml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/infer/src/pulse/PulseDiagnostic.ml b/infer/src/pulse/PulseDiagnostic.ml
index cc5c00701..b603f1e3d 100644
--- a/infer/src/pulse/PulseDiagnostic.ml
+++ b/infer/src/pulse/PulseDiagnostic.ml
@@ -73,13 +73,12 @@ let get_message diagnostic =
                 F.asprintf "undefined behaviour caused by nil messaging of non-pod return type (%a)"
                   (Typ.pp Pp.text) non_pod_typ
             | Invalidation.InsertionIntoCollection ->
-                F.sprintf "nil insertion into collection"
+                "nil insertion into collection"
             | Invalidation.BlockCall ->
-                F.sprintf "nil block call"
+                "nil block call"
           in
           let issue_kind_str =
-            Option.value_map must_be_valid_reason
-              ~default:(F.sprintf "null pointer dereference")
+            Option.value_map must_be_valid_reason ~default:"null pointer dereference"
               ~f:nil_issue_kind
           in
           let pp_access_trace fmt (trace : Trace.t) =