diff options
Diffstat (limited to 'checker/checker.ml')
| -rw-r--r-- | checker/checker.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/checker.ml b/checker/checker.ml index 06c1e053d5..346ae5fffb 100644 --- a/checker/checker.ml +++ b/checker/checker.ml @@ -395,5 +395,5 @@ let run senv = let start () = let senv = init() in let senv = run senv in - Check_stat.stats senv; + Check_stat.stats (Safe_typing.env_of_safe_env senv); exit 0 |