deps

[helm.git] / helm / papers / matita / libraries.dot

diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot
index 18b8abd3a00b858c03a537a30f18db4228388e13..78259d77433bdddc32c9f78ed640445906aea3f7 100644 (file)
--- a/helm/papers/matita/libraries.dot
+++ b/helm/papers/matita/libraries.dot
@@ -82,7 +82,7 @@ digraph G {
   /* apps */
   subgraph applications {
     node [shape=plaintext,style=filled,fillcolor=slategray2];
-    DrawGraph;
+    DependencyAnalyzer;
     Getter;
     Matita;
     ProofChecker;
@@ -90,7 +90,7 @@ digraph G {
     Whelp;
   }
   /* apps dep */
-  DrawGraph -> metadata;
+  DependencyAnalyzer -> metadata;
   Getter -> getter;
   Matita -> cic_disambiguation;
   Matita -> grafite;
@@ -99,4 +99,5 @@ digraph G {
   ProofChecker -> cic_proof_checking;
   Uwobo -> content_pres;
   Whelp -> cic_disambiguation;
+  Whelp -> content_pres;
 }