From 510ce076988c8ec8b5827ef5b3467e31f37df8cf Mon Sep 17 00:00:00 2001 From: Martin Trojer Date: Wed, 4 Jul 2018 04:59:51 -0700 Subject: [PATCH] Wrap all retaincycle dotty nodenames in quotes Reviewed By: mbouaziz, dulmarod Differential Revision: D8724016 fbshipit-source-id: 9dbace8 --- infer/src/biabduction/RetainCyclesType.ml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/infer/src/biabduction/RetainCyclesType.ml b/infer/src/biabduction/RetainCyclesType.ml index 3bcadef79..8f19f220c 100644 --- a/infer/src/biabduction/RetainCyclesType.ml +++ b/infer/src/biabduction/RetainCyclesType.ml @@ -189,16 +189,17 @@ let pp_dotty fmt cycle = Format.fprintf fmt "" in let pp_dotty_element fmt element = - Format.fprintf fmt "\t%a [label = \"%a | %a \"]@\n" pp_dotty_id element pp_dotty_obj element - pp_dotty_field element + Format.fprintf fmt "\t\"%a\" [label = \"%a | %a \"]@\n" pp_dotty_id element pp_dotty_obj + element pp_dotty_field element in let rec pp_dotty_edges fmt edges = match edges with | edge1 :: edge2 :: rest -> - Format.fprintf fmt "\t%a -> %a [color=\"blue\"];@\n" pp_dotty_id edge1 pp_dotty_id edge2 ; + Format.fprintf fmt "\t\"%a\" -> \"%a\" [color=\"blue\"];@\n" pp_dotty_id edge1 pp_dotty_id + edge2 ; pp_dotty_edges fmt (edge2 :: rest) | [edge] -> - Format.fprintf fmt "\t%a -> %a [color=\"blue\"];@\n" pp_dotty_id edge pp_dotty_id + Format.fprintf fmt "\t\"%a\" -> \"%a\" [color=\"blue\"];@\n" pp_dotty_id edge pp_dotty_id cycle.rc_head | [] -> ()