X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_styles.ml;h=7730857ac3c998430ff2c3eb2c74c1be4a127437;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=6b4791e368e3e7c3462bff444dc512a3691ca62a;hpb=1d4f3c9c4b5241c085b1af4fd7c2bf58585532a7;p=helm.git

diff --git a/helm/uwobo/uwobo_styles.ml b/helm/uwobo/uwobo_styles.ml
index 6b4791e36..7730857ac 100644
--- a/helm/uwobo/uwobo_styles.ml
+++ b/helm/uwobo/uwobo_styles.ml
@@ -189,7 +189,6 @@ class styles =
                  with
                   Not_found ->
                    (* Cache miss *)
-prerr_endline ("##### CACHE MISS: " ^ key) ;
                    let stylesheet =
                      try
                        List.assoc key stylesheets