From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 21 Dec 2018 23:06:14 +0000 (+0100)
Subject: comment
X-Git-Tag: make_still_working~229^2~1^2~32
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=848ec2487a5897048cce9783a53565251eb40eb8

comment
---

diff --git a/matita/matita/lablGraphviz.ml b/matita/matita/lablGraphviz.ml
index 27835e3e9..b0965e55e 100644
--- a/matita/matita/lablGraphviz.ml
+++ b/matita/matita/lablGraphviz.ml
@@ -79,6 +79,8 @@ class graphviz_impl ?packing () =
           ("Graphviz command failed (exit code: %d) on the following graph:\n"
            ^^ "%s\n%!")
           rc (HExtlib.input_file fname);
+        (* CSC: it would be better to show something explaining that the
+           graph is empty *)
         image#clear ()
       end else begin
        image#set_file tmp_png;