tagging rc-1

[helm.git] / matita / lablGraphviz.ml

diff --git a/matita/lablGraphviz.ml b/matita/lablGraphviz.ml
index 27e7d4b9a28ed2caafb8477f7b54d898e0615884..d86d943e34a300a2ca266e2e9b0c343784437928 100644 (file)
--- a/matita/lablGraphviz.ml
+++ b/matita/lablGraphviz.ml
@@ -86,13 +86,16 @@ class graphviz_impl ?packing () =
 
     method private load_map fname =
       let areas = ref [] in
+      let is_rect l = 
+        try List.assoc "shape" l = "rect" with Not_found -> false
+      in
       let p =
         XmlPushParser.create_parser
           { XmlPushParser.default_callbacks with
             XmlPushParser.start_element =
               Some (fun elt attrs ->
                 match elt with
-                | "area" -> areas := attrs :: !areas
+                | "area" when is_rect attrs -> areas := attrs :: !areas
                 | _ -> ()) } in
       XmlPushParser.parse p (`File fname);
       map <- !areas