diff --git a/infer/src/pulse/PulseDiagnostic.ml b/infer/src/pulse/PulseDiagnostic.ml
index 5abc4869f..7b1da9820 100644
--- a/infer/src/pulse/PulseDiagnostic.ml
+++ b/infer/src/pulse/PulseDiagnostic.ml
@@ -81,7 +81,7 @@ let get_message diagnostic =
           let nil_issue_kind = function
             | Invalidation.SelfOfNonPODReturnMethod non_pod_typ ->
                 F.asprintf "undefined behaviour caused by nil messaging of non-pod return type (%a)"
-                  (Typ.pp Pp.text) non_pod_typ
+                  (Typ.pp_full Pp.text) non_pod_typ
             | Invalidation.InsertionIntoCollection ->
                 "nil insertion into collection"
             | Invalidation.BlockCall ->