Most warnings turned into errors and avoided

[helm.git] / matita / matita / lablGraphviz.ml

diff --git a/matita/matita/lablGraphviz.ml b/matita/matita/lablGraphviz.ml
index b0965e55e04c652e87fbbbf4498c00f3e46f0448..7a30256e3798a54d1f5266a91b225a184cb70d65 100644 (file)
--- a/matita/matita/lablGraphviz.ml
+++ b/matita/matita/lablGraphviz.ml
@@ -74,7 +74,7 @@ class graphviz_impl ?packing () =
     method load_graph_from_file ?(gviz_cmd = "dot") fname =
       let tmp_png = tempfile () in
       let rc = Sys.command (mk_gviz_cmd gviz_cmd png_flags fname tmp_png) in
-      if rc <> 0 || (Unix.stat tmp_png).st_size = 0 then begin
+      if rc <> 0 || (Unix.stat tmp_png).Unix.st_size = 0 then begin
         eprintf
           ("Graphviz command failed (exit code: %d) on the following graph:\n"
            ^^ "%s\n%!")