diff options
| author | Björn Gustavsson <[email protected]> | 2014-01-31 15:38:20 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2014-01-31 16:04:31 +0100 |
| commit | 5c12db17fea6de6f3fc3ce16a7159b6f71ea92f4 (patch) | |
| tree | df793fee9b3cabb135808d545530fb251c3cf43d | |
| parent | b7ec407716059dd2b8806a2f43e415216bef95ea (diff) | |
| download | otp-5c12db17fea6de6f3fc3ce16a7159b6f71ea92f4.tar.gz otp-5c12db17fea6de6f3fc3ce16a7159b6f71ea92f4.tar.bz2 otp-5c12db17fea6de6f3fc3ce16a7159b6f71ea92f4.zip | |
asn1ct_check: Use a return value to silence a dialyzer warning
Unfortunately the code in question is not covered by our test
suites, but it should be correct to do the same thing as in
the clause above.
| -rw-r--r-- | lib/asn1/src/asn1ct_check.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/asn1/src/asn1ct_check.erl b/lib/asn1/src/asn1ct_check.erl index 5a88451012..533b02409e 100644 --- a/lib/asn1/src/asn1ct_check.erl +++ b/lib/asn1/src/asn1ct_check.erl @@ -3923,9 +3923,9 @@ check_constraint(S,{simpletable,Type}) -> #'Externaltypereference'{} -> ERef = check_externaltypereference(S,C), {simpletable,ERef#'Externaltypereference'.type}; - #type{def=#'Externaltypereference'{type=T}} -> - check_externaltypereference(S,C#type.def), - {simpletable,T}; + #type{def=#'Externaltypereference'{}=ExtTypeRef} -> + ERef = check_externaltypereference(S, ExtTypeRef), + {simpletable,ERef#'Externaltypereference'.type}; {valueset,#type{def=ERef=#'Externaltypereference'{}}} -> % this is an object set {_,TDef} = get_referenced_type(S,ERef), case TDef#typedef.typespec of |