moved graphviz pretty printer outside matita, so that it can be used by other compone...

[helm.git] / components / lexicon / lexiconSync.ml

diff --git a/components/lexicon/lexiconSync.ml b/components/lexicon/lexiconSync.ml
index f88a79971b32919e0441a31f85bf8999840376bd..30031943d9bb1897a5fa4a2a0dc473a715b7c796 100644 (file)
--- a/components/lexicon/lexiconSync.ml
+++ b/components/lexicon/lexiconSync.ml
@@ -41,7 +41,7 @@ let alias_diff ~from status =
     status.LexiconEngine.aliases []
 
 let alias_diff =
- let profiler = HExtlib.profile "alias_diff (conteggiato anche in include)" in
+ let profiler = HExtlib.profile "alias_diff(conteg. anche in include)" in
  fun ~from status -> profiler.HExtlib.profile (alias_diff ~from) status
 
 (** given a uri and a type list (the contructors types) builds a list of pairs