From 24f8066999eeec94a0e89c8d6bac8ca5928ea02c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 1 Dec 2014 21:56:22 +0100
Subject: [PATCH] small fix to CCKTree.Dot

---
 core/CCKTree.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/CCKTree.ml b/core/CCKTree.ml
index 3813e5b7..35e8590d 100644
--- a/core/CCKTree.ml
+++ b/core/CCKTree.ml
@@ -283,7 +283,7 @@ module Dot = struct
         FQ.empty l
     in
     (* preamble *)
-    Format.fprintf fmt "@[<hv 2>digraph %s {@," name;
+    Format.fprintf fmt "@[<hv 2>digraph \"%s\" {@," name;
     aux q;
     Format.fprintf fmt "}@]@.";
     ()