diff --git a/sw/supervision/paparazzicenter.ml b/sw/supervision/paparazzicenter.ml index 72ca0860a7..c3f9c47d93 100644 --- a/sw/supervision/paparazzicenter.ml +++ b/sw/supervision/paparazzicenter.ml @@ -207,7 +207,7 @@ let () = let errors = "red", ["error"; "no such file"; "undefined reference"; "failure"] and warnings = "orange", ["warning"] - and info = "green", ["message"; "info"] in + and info = "green", ["message"] in let color_regexps = List.map (fun (color, strings) ->