]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/uwobo_styles.ml
ocaml 3.09 transition
[helm.git] / helm / uwobo / uwobo_styles.ml
index 6b4791e368e3e7c3462bff444dc512a3691ca62a..7730857ac3c998430ff2c3eb2c74c1be4a127437 100644 (file)
@@ -189,7 +189,6 @@ class styles =
                  with
                   Not_found ->
                    (* Cache miss *)
-prerr_endline ("##### CACHE MISS: " ^ key) ;
                    let stylesheet =
                      try
                        List.assoc key stylesheets