]> matita.cs.unibo.it Git - helm.git/commitdiff
comment
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 21 Dec 2018 23:06:14 +0000 (00:06 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 21 Dec 2018 23:06:14 +0000 (00:06 +0100)
matita/matita/lablGraphviz.ml

index 27835e3e90ce0c6fbae9984f7fb15577dd27d41c..b0965e55e04c652e87fbbbf4498c00f3e46f0448 100644 (file)
@@ -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;