Remove some left over debug statements

1 files changed, 0 insertions, 1 deletions

diff --git a/sailcov/main.ml b/sailcov/main.ml
index 2ca765e4..a861be0c 100644
--- a/sailcov/main.ml
+++ b/sailcov/main.ml
@@ -306,7 +306,6 @@ let main () =
               if loc.bad_zero_width then (
                 output_string chan (Printf.sprintf "<span style=\"background-color: %s\">" (bad_color ()));
                 output_string chan "&#171;Invisible branch not taken here&#187";
-                prerr_endline ("zero" ^ file);
                 output_string chan "</span>"
               );