diff options
| author | Ingela Anderton Andin <[email protected]> | 2010-09-15 14:34:58 +0200 |
|---|---|---|
| committer | Ingela Anderton Andin <[email protected]> | 2010-09-15 14:34:58 +0200 |
| commit | 6a933540f24e76c05cc652acbf2aa92b9ab76d58 (patch) | |
| tree | 09109c4569002173d90faf5134bf3f9e9a0ed174 /lib/public_key/src/pubkey_cert.erl | |
| parent | 3f336f1b6f2854618146e882b04e8cbc50d1111e (diff) | |
| download | otp-6a933540f24e76c05cc652acbf2aa92b9ab76d58.tar.gz otp-6a933540f24e76c05cc652acbf2aa92b9ab76d58.tar.bz2 otp-6a933540f24e76c05cc652acbf2aa92b9ab76d58.zip | |
Corrected and added dialyzer specs
Diffstat (limited to 'lib/public_key/src/pubkey_cert.erl')
| -rw-r--r-- | lib/public_key/src/pubkey_cert.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/public_key/src/pubkey_cert.erl b/lib/public_key/src/pubkey_cert.erl index e704c168f1..c1819e6ddc 100644 --- a/lib/public_key/src/pubkey_cert.erl +++ b/lib/public_key/src/pubkey_cert.erl @@ -290,7 +290,7 @@ is_fixed_dh_cert(#'OTPCertificate'{tbsCertificate = %%-------------------------------------------------------------------- --spec verify_fun(#'OTPTBSCertificate'{}, {bad_cert, atom()} | {extension, #'Extension'{}}| +-spec verify_fun(#'OTPCertificate'{}, {bad_cert, atom()} | {extension, #'Extension'{}}| valid, term(), fun()) -> term(). %% %% Description: Gives the user application the opportunity handle path @@ -313,7 +313,7 @@ verify_fun(Otpcert, Result, UserState0, VerifyFun) -> {extension, #'Extension'{critical = true}} -> throw({bad_cert, unknown_critical_extension}); _ -> - UserState + UserState end end. |