From 44dfcf4a4d145d89c5cb31d2bfa4747471926032 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 6 Aug 2015 09:47:51 -0600
Subject: [PATCH] [Infer][nullables] Fix bad "indirectly marked" error messages

---
 infer/src/backend/rearrange.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/rearrange.ml b/infer/src/backend/rearrange.ml
index 84fbe0df5..826672684 100644
--- a/infer/src/backend/rearrange.ml
+++ b/infer/src/backend/rearrange.ml
@@ -951,7 +951,7 @@ let check_dereference_error pdesc (prop : Prop.normal Prop.t) lexp loc =
              let is_strexp_pt_by_nullable_fld (fld, strexp) =
                match strexp with
                | Sil.Eexp (exp, _) when Sil.exp_equal exp deref_exp && is_nullable fld ->
-                   nullable_obj_str := Ident.fieldname_to_string fld;
+                   nullable_obj_str := Ident.fieldname_to_simplified_string fld;
                    true
                | _ -> false in
              list_exists is_strexp_pt_by_nullable_fld flds