X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fdaemons.dot;h=93c122d8a3660681e9bb8eb14d33748b095274d9;hb=5976abe5d66b4e52db76e8de10e9de6829349e44;hp=5b7d0c3305bd24762c744ebf8572c1eeb25ff753;hpb=00187e5a38cb2fac7c806f62cd7c3d2c85ddf9c2;p=helm.git

diff --git a/helm/ocaml/daemons.dot b/helm/ocaml/daemons.dot
index 5b7d0c330..93c122d8a 100644
--- a/helm/ocaml/daemons.dot
+++ b/helm/ocaml/daemons.dot
@@ -16,5 +16,4 @@
   Matita -> hgdome;
   ProofChecker -> cic_proof_checking;
   Uwobo -> content_pres;
-  Whelp -> cic_disambiguation;
-  Whelp -> content_pres;
+  Whelp -> grafite_parser;