diff options
| author | Stavros Aronis <[email protected]> | 2012-03-29 14:44:08 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:23 +0200 |
| commit | 5c52ff6b5f10c7bd9ce06cdf607e88035c16e079 (patch) | |
| tree | 26c35deaaae3d2d2ed425f0580d0b6d6f5d258f2 /lib/typer/src | |
| parent | 720b65deff021ddb17aaa125046f97ff13ade883 (diff) | |
| download | otp-5c52ff6b5f10c7bd9ce06cdf607e88035c16e079.tar.gz otp-5c52ff6b5f10c7bd9ce06cdf607e88035c16e079.tar.bz2 otp-5c52ff6b5f10c7bd9ce06cdf607e88035c16e079.zip | |
Anonymous time server
Diffstat (limited to 'lib/typer/src')
| -rw-r--r-- | lib/typer/src/typer.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/typer/src/typer.erl b/lib/typer/src/typer.erl index a6de109766..1e40b8926e 100644 --- a/lib/typer/src/typer.erl +++ b/lib/typer/src/typer.erl @@ -83,7 +83,7 @@ start() -> {Args, Analysis} = process_cl_args(), %% io:format("Args: ~p\n", [Args]), %% io:format("Analysis: ~p\n", [Analysis]), - dialyzer_timing:init(false), + Timer = dialyzer_timing:init(false), TrustedFiles = filter_fd(Args#args.trusted, [], fun is_erl_file/1), Analysis2 = extract(Analysis, TrustedFiles), All_Files = get_all_files(Args), @@ -92,7 +92,7 @@ start() -> Analysis4 = collect_info(Analysis3), %% io:format("Final: ~p\n", [Analysis4#analysis.fms]), TypeInfo = get_type_info(Analysis4), - dialyzer_timing:stop(), + dialyzer_timing:stop(Timer), show_or_annotate(TypeInfo), %% io:format("\nTyper analysis finished\n"), erlang:halt(0). |