diff options
Diffstat (limited to 'checker/check_stat.ml')
-rw-r--r-- | checker/check_stat.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/checker/check_stat.ml b/checker/check_stat.ml index f196746a5..741f53284 100644 --- a/checker/check_stat.ml +++ b/checker/check_stat.ml @@ -57,8 +57,7 @@ let print_context env = (fnl() ++ str"CONTEXT SUMMARY" ++ fnl() ++ str"===============" ++ fnl() ++ fnl() ++ str "* " ++ hov 0 (pr_engagement engt ++ fnl()) ++ fnl() ++ - str "* " ++ hov 0 (pr_ax csts) ++ - fnl())); + str "* " ++ hov 0 (pr_ax csts))); end let stats () = |