removed spurious arrows from Matita

diff --git a/helm/ocaml/daemons.dot b/helm/ocaml/daemons.dot
index 66bffba2dd167460104cab33b69c3f2bb63eae7d..5b7d0c3305bd24762c744ebf8572c1eeb25ff753 100644 (file)
--- 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;