From 00187e5a38cb2fac7c806f62cd7c3d2c85ddf9c2 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 19 Dec 2005 12:44:47 +0000
Subject: [PATCH] removed spurious arrows from Matita

---
 helm/ocaml/daemons.dot | 2 --
 1 file changed, 2 deletions(-)

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;
-- 
2.39.2