diff options
Diffstat (limited to 'lib/typer/src/typer.erl')
| -rw-r--r-- | lib/typer/src/typer.erl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/typer/src/typer.erl b/lib/typer/src/typer.erl index 5c82750a21..563b1bbcb5 100644 --- a/lib/typer/src/typer.erl +++ b/lib/typer/src/typer.erl @@ -172,8 +172,10 @@ get_type_info(#analysis{callgraph = CallGraph, StrippedCallGraph = remove_external(CallGraph, TrustPLT), %% io:format("--- Analyzing callgraph... "), try - NewPlt = dialyzer_succ_typings:analyze_callgraph(StrippedCallGraph, - TrustPLT, CodeServer), + NewMiniPlt = dialyzer_succ_typings:analyze_callgraph(StrippedCallGraph, + TrustPLT, + CodeServer), + NewPlt = dialyzer_plt:restore_full_plt(NewMiniPlt), Analysis#analysis{callgraph = StrippedCallGraph, trust_plt = NewPlt} catch error:What -> |