From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 19 Dec 2005 12:44:47 +0000 (+0000)
Subject: removed spurious arrows from Matita
X-Git-Tag: make_still_working~7986
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=00187e5a38cb2fac7c806f62cd7c3d2c85ddf9c2;hp=1592969317fd01e945bd3dacf775ed4f3144e020;p=helm.git

removed spurious arrows from Matita
---

diff --git a/helm/ocaml/daemons.dot b/helm/ocaml/daemons.dot
index 66bffba2d..5b7d0c330 100644
--- a/helm/ocaml/daemons.dot
+++ b/helm/ocaml/daemons.dot
@@ -11,11 +11,9 @@
   /* apps dep */
   DependencyAnalyzer -> metadata;
   Getter -> getter;
-  Matita -> cic_disambiguation;
   Matita -> grafite_engine;
   Matita -> grafite_parser;
   Matita -> hgdome;
-  Matita -> paramodulation;
   ProofChecker -> cic_proof_checking;
   Uwobo -> content_pres;
   Whelp -> cic_disambiguation;