diff options
| -rw-r--r-- | sailcov/main.ml | 1 |
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 "«Invisible branch not taken here»"; - prerr_endline ("zero" ^ file); output_string chan "</span>" ); |