diff options
| author | Stavros Aronis <[email protected]> | 2012-02-20 21:29:22 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:19 +0200 |
| commit | cf573e2ea378bae4c43007fb457dcd8379caf547 (patch) | |
| tree | be54501e4fa67462f768aaae618d13fc8523bc0c /lib/dialyzer/src/dialyzer_succ_typings.erl | |
| parent | a6ab15d61cd4b36ba9d4eab7a3d290330b5c3798 (diff) | |
| download | otp-cf573e2ea378bae4c43007fb457dcd8379caf547.tar.gz otp-cf573e2ea378bae4c43007fb457dcd8379caf547.tar.bz2 otp-cf573e2ea378bae4c43007fb457dcd8379caf547.zip | |
Simplify behaviour checking code
Diffstat (limited to 'lib/dialyzer/src/dialyzer_succ_typings.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index c1c437f9a4..9a37a54206 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -171,7 +171,8 @@ collect_warnings(M, {Callgraph, Codeserver, NoWarnUnused, Plt, DocPlt}) -> dialyzer_dataflow:get_warnings(ModCode, Plt, Callgraph, Records, NoWarnUnused), Attrs = cerl:module_attrs(ModCode), - Warnings3 = dialyzer_behaviours:check_callbacks(M, Attrs, Plt, Codeserver), + Warnings3 = + dialyzer_behaviours:check_callbacks(M, Attrs, Records, Plt, Codeserver), DocPlt = insert_into_doc_plt(FunTypes, Callgraph, DocPlt), lists:flatten([Warnings1, Warnings2, Warnings3]). |