From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 23 May 2007 17:48:21 +0000 (+0000)
Subject: I am now using tred to remove transitive dependencies from the graph before
X-Git-Tag: 0.4.95@7852~448
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5c8fe24f1390fc77cd0b78f61a24fcbbef66ff25;p=helm.git

I am now using tred to remove transitive dependencies from the graph before
displaying it.
---

diff --git a/matita/contribs/formal_topology/bin/theory_explorer.ml b/matita/contribs/formal_topology/bin/theory_explorer.ml
index d857ab93e..3a9dcde30 100644
--- a/matita/contribs/formal_topology/bin/theory_explorer.ml
+++ b/matita/contribs/formal_topology/bin/theory_explorer.ml
@@ -99,7 +99,7 @@ let ps_of_set (to_be_considered,under_consideration,news) ?processing s =
           "style=dashed];\n"));
   output_string ch "}\n";
   close_out ch;
-  ignore (Unix.system "dot -Tps xxx.dot > xxx.ps")
+  ignore (Unix.system "tred xxx.dot > yyy.dot && dot -Tps yyy.dot > xxx.ps")
 
 let test to_be_considered_and_now set rel candidate repr =
  ps_of_set to_be_considered_and_now ~processing:(candidate,rel,repr) set;