diff options
author | Stavros Aronis <[email protected]> | 2011-11-08 14:17:24 +0100 |
---|---|---|
committer | Stavros Aronis <[email protected]> | 2011-11-18 14:42:56 +0100 |
commit | 191151eca1779da7ccc8244b5dca0891ebf5b62d (patch) | |
tree | ba9262f5675596e817a5fa4f5d2b02208247d6c1 /lib/dialyzer/src/dialyzer_succ_typings.erl | |
parent | 93aa83a1646e0b8e69dea1d8aad13bb3a9b73de9 (diff) | |
download | otp-191151eca1779da7ccc8244b5dca0891ebf5b62d.tar.gz otp-191151eca1779da7ccc8244b5dca0891ebf5b62d.tar.bz2 otp-191151eca1779da7ccc8244b5dca0891ebf5b62d.zip |
Store callbacks in codeserver and PLT
Diffstat (limited to 'lib/dialyzer/src/dialyzer_succ_typings.erl')
-rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index 5d24e0d0d6..45444ec6a3 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -78,7 +78,7 @@ analyze_callgraph(Callgraph, Plt, Codeserver, Parent) -> State = #st{callgraph = Callgraph, plt = Plt, codeserver = Codeserver, parent = Parent}, NewState = get_refined_success_typings(State), - NewState#st.plt. + dialyzer_plt:insert_callbacks(NewState#st.plt, Codeserver). %%-------------------------------------------------------------------- |