diff options
Diffstat (limited to 'checker/check_stat.ml')
| -rw-r--r-- | checker/check_stat.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/checker/check_stat.ml b/checker/check_stat.ml index cdb0ade74..1cc47fde3 100644 --- a/checker/check_stat.ml +++ b/checker/check_stat.ml @@ -55,12 +55,12 @@ let print_context env = env_modules=mods; env_modtypes=mtys}; env_stratification= {env_universes=univ; env_engagement=engt}} = env in - msgnl(hov 0 + ppnl(hov 0 (fnl() ++ str"CONTEXT SUMMARY" ++ fnl() ++ str"===============" ++ fnl() ++ fnl() ++ str "* " ++ hov 0 (pr_engt engt ++ fnl()) ++ fnl() ++ str "* " ++ hov 0 (pr_ax csts) ++ - fnl())) + fnl())); pp_flush() end let stats () = |