X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FlablGraphviz.ml;h=ab817e2940394c19a197810fecd79d6d825711f9;hb=9e9a16a3568a14f5db43b664d094a66260d5c20a;hp=d67584c8c99d4f700d99f39afa625c654a0c311b;hpb=8da75ffeb862139e8607c5a3a3aa782458da82cb;p=helm.git

diff --git a/helm/software/matita/lablGraphviz.ml b/helm/software/matita/lablGraphviz.ml
index d67584c8c..ab817e294 100644
--- a/helm/software/matita/lablGraphviz.ml
+++ b/helm/software/matita/lablGraphviz.ml
@@ -114,7 +114,8 @@ class graphviz_impl ?packing () =
           "coords", min_x^","^min_y^" "^max_x^","^max_y
          | x -> x) l
       in
-      let p =
+      try
+       let p =
         XmlPushParser.create_parser
           { XmlPushParser.default_callbacks with
             XmlPushParser.start_element =
@@ -123,8 +124,9 @@ class graphviz_impl ?packing () =
                 | "area" when is_rect attrs -> areas := attrs :: !areas
                 | "area" when is_poly attrs -> areas := rectify attrs :: !areas
                 | _ -> ()) } in
-      XmlPushParser.parse p (`File fname);
-      map <- !areas
+       XmlPushParser.parse p (`File fname);
+       map <- !areas  
+      with XmlPushParser.Parse_error _ -> ()
 
     method private find_href x y =
       List.find