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 /lib | |
| 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.
Diffstat (limited to 'lib')
| -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 |