diff --git a/src/plugins/wp/Stats.ml b/src/plugins/wp/Stats.ml index 475989e0daf6983ce4483b3615d11192f15dce29..1e74de3f585e9eadd0375b96b29340e8cb4c8d3d 100644 --- a/src/plugins/wp/Stats.ml +++ b/src/plugins/wp/Stats.ml @@ -300,10 +300,10 @@ let pp_stats ~shell ~cache fmt s = if s.trivial = total then Format.fprintf fmt " (Trivial)" else - if updating || s.cached = cacheable then - Format.fprintf fmt " (Cached)" - else - Format.fprintf fmt " (Cached %d/%d)" s.cached cacheable + if updating || s.cached = cacheable then + Format.fprintf fmt " (Cached)" + else + Format.fprintf fmt " (Cached %d/%d)" s.cached cacheable let pretty = pp_stats ~shell:false ~cache:NoCache