This commit is contained in:
parent
eeddffc184
commit
774d411751
1 changed files with 1 additions and 1 deletions
|
|
@ -35,7 +35,7 @@ let reporter : Logs.reporter =
|
||||||
in
|
in
|
||||||
let pp_src ppf v =
|
let pp_src ppf v =
|
||||||
let pp = using Logs.Src.name (styled `Cyan string) in
|
let pp = using Logs.Src.name (styled `Cyan string) in
|
||||||
if Logs.Src.equal Logs.default v then pp ppf v
|
if not @@ Logs.Src.equal Logs.default v then pp ppf v
|
||||||
in
|
in
|
||||||
let pp_detail = option (styled `Green (fmt " (%s)")) in
|
let pp_detail = option (styled `Green (fmt " (%s)")) in
|
||||||
let report src lvl ~over k msgf =
|
let report src lvl ~over k msgf =
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue