From b5fb3f0ff0f538cfe4fdee7496fd972ff4bb3764 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 3 Jun 2014 17:33:11 +0200 Subject: [PATCH] printing error in LazyGraph --- misc/lazyGraph.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/misc/lazyGraph.ml b/misc/lazyGraph.ml index 82a664d8..3a2f893a 100644 --- a/misc/lazyGraph.ml +++ b/misc/lazyGraph.ml @@ -577,13 +577,13 @@ module Dot = struct CCSequence.iter (function | Full.EnterVertex (v, attrs, _, _) -> - Format.fprintf formatter " @[%a [%a];@]@." pp_vertex v - (CCList.print ~sep:"," print_attribute) attrs + Format.fprintf formatter " @[%a %a;@]@." pp_vertex v + (CCList.print ~start:"[" ~stop:"]" ~sep:"," print_attribute) attrs | Full.ExitVertex _ -> () | Full.MeetEdge (v2, attrs, v1, _) -> - Format.fprintf formatter " @[%a -> %a [%a];@]@." + Format.fprintf formatter " @[%a -> %a %a;@]@." pp_vertex v1 pp_vertex v2 - (CCList.print ~sep:"," print_attribute) + (CCList.print ~start:"[" ~stop:"]" ~sep:"," print_attribute) attrs) events; (* close *)