From d6d40ce6405d8a5f27b54b748ee3e251798bf0b4 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 22 Dec 2018 00:06:14 +0100 Subject: [PATCH] comment --- matita/matita/lablGraphviz.ml | 2 ++ 1 file changed, 2 insertions(+) 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; -- 2.39.2