aboutsummaryrefslogtreecommitdiffstats
path: root/lib/asn1
diff options
context:
space:
mode:
authorBjörn Gustavsson <bjorn@erlang.org>2014-01-31 15:38:20 +0100
committerBjörn Gustavsson <bjorn@erlang.org>2014-01-31 16:04:31 +0100
commit5c12db17fea6de6f3fc3ce16a7159b6f71ea92f4 (patch)
treedf793fee9b3cabb135808d545530fb251c3cf43d /lib/asn1
parentb7ec407716059dd2b8806a2f43e415216bef95ea (diff)
downloadotp-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/asn1')
-rw-r--r--lib/asn1/src/asn1ct_check.erl6
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