X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FlablGraphviz.ml;h=0084c9204d64e3a35cd2c57038eb27c2c9f2b5be;hb=be7c458d2ffc4669891f7c8f3e4e80399d4157f7;hp=fab25cba658047fa23d92c3f0c7458b7b97fb720;hpb=fb8e346faf0b390cd8e81376e0dad8333547657a;p=helm.git

diff --git a/helm/software/matita/lablGraphviz.ml b/helm/software/matita/lablGraphviz.ml
index fab25cba6..0084c9204 100644
--- a/helm/software/matita/lablGraphviz.ml
+++ b/helm/software/matita/lablGraphviz.ml
@@ -27,6 +27,8 @@
 
 open Printf
 
+type attribute = string * string  (* <key, value> pair *)
+
 let png_flags = "-Tpng"
 let map_flags = "-Tcmapx"
 
@@ -66,11 +68,12 @@ class graphviz_impl ?packing gviz_cmd =
       ignore (Sys.command (sprintf "%s %s %s > %s"
         gviz_cmd png_flags fname tmp_png));
       image#set_file tmp_png;
+      HExtlib.safe_remove tmp_png;
       let tmp_map = tempfile () in
       ignore (Sys.command (sprintf "%s %s %s > %s"
         gviz_cmd map_flags fname tmp_map));
       self#load_map tmp_map;
-      HExtlib.safe_remove tmp_png
+      HExtlib.safe_remove tmp_map
 
     method private load_map fname =
       let areas = ref [] in