From f3704bf0490ed2a69599e21a02348cd408d75297 Mon Sep 17 00:00:00 2001 From: Dulma Churchill Date: Thu, 22 Feb 2018 05:41:00 -0800 Subject: [PATCH] [retain cycles] Fixing dotty files by using a pp function for types that is enabled not only in debug mode Reviewed By: da319 Differential Revision: D7043858 fbshipit-source-id: de40795 --- infer/src/backend/RetainCyclesType.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/backend/RetainCyclesType.ml b/infer/src/backend/RetainCyclesType.ml index 829496c2d..8847caafd 100644 --- a/infer/src/backend/RetainCyclesType.ml +++ b/infer/src/backend/RetainCyclesType.ml @@ -106,14 +106,14 @@ let pp_dotty fmt cycle = let pp_dotty_obj fmt element = match element with | Object obj -> - Format.fprintf fmt "Object: %a" (Typ.pp Pp.text) obj.rc_from.rc_node_typ + Format.fprintf fmt "Object: %s" (Typ.to_string obj.rc_from.rc_node_typ) | Block _ -> Format.fprintf fmt "Block" in let pp_dotty_id fmt element = match element with | Object obj -> - Typ.pp Pp.text fmt obj.rc_from.rc_node_typ + Format.fprintf fmt "%s" (Typ.to_string obj.rc_from.rc_node_typ) | Block name -> Format.fprintf fmt "%s" (Typ.Procname.to_unique_id name) in