From bd2938466bd84e8c388300939d9b3f361b6a4001 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 18 Jul 2006 14:21:04 +0000 Subject: [PATCH] double quotes node identifiers --- helm/software/components/extlib/graphvizPp.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/components/extlib/graphvizPp.ml b/helm/software/components/extlib/graphvizPp.ml index 18ebd94d9..aa472f769 100644 --- a/helm/software/components/extlib/graphvizPp.ml +++ b/helm/software/components/extlib/graphvizPp.ml @@ -47,11 +47,11 @@ module Dot = let header ?(name = "g") fmt = fprintf fmt "@[digraph %s {@," name let node name ?(attrs = []) fmt = - fprintf fmt "@[%s@ [" name; + fprintf fmt "@[\"%s\"@ [" name; attributes attrs fmt; fprintf fmt "];@]@," let edge name1 name2 ?(attrs = []) fmt = - fprintf fmt "@[%s ->@ %s@ [" name1 name2; + fprintf fmt "@[\"%s\" ->@ \"%s\"@ [" name1 name2; attributes attrs fmt; fprintf fmt "];@]@," let raw s fmt = pp_print_string fmt s -- 2.39.2