diff options
| author | Dan Gudmundsson <[email protected]> | 2014-03-03 15:30:31 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2014-03-28 09:55:57 +0100 |
| commit | faae15d89ac03fce87f0370b011ed71f85d83d8b (patch) | |
| tree | d27ece9491944a25fa205ae6565565facb58695c /lib/mnesia/src/mnesia_index.erl | |
| parent | c57f0f96bab1951d9c5ecf80d64f0624e96d2417 (diff) | |
| download | otp-faae15d89ac03fce87f0370b011ed71f85d83d8b.tar.gz otp-faae15d89ac03fce87f0370b011ed71f85d83d8b.tar.bz2 otp-faae15d89ac03fce87f0370b011ed71f85d83d8b.zip | |
mnesia: Dialyzer fixes
Diffstat (limited to 'lib/mnesia/src/mnesia_index.erl')
| -rw-r--r-- | lib/mnesia/src/mnesia_index.erl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/mnesia/src/mnesia_index.erl b/lib/mnesia/src/mnesia_index.erl index 8fef611a48..87cb58dae1 100644 --- a/lib/mnesia/src/mnesia_index.erl +++ b/lib/mnesia/src/mnesia_index.erl @@ -52,7 +52,11 @@ val(Var) -> case ?catch_val(Var) of - {'EXIT', _ReASoN_} -> mnesia_lib:other_val(Var, _ReASoN_); + {'EXIT', _ReASoN_} -> + case mnesia_lib:other_val(Var) of + error -> mnesia_lib:pr_other(Var, _ReASoN_); + Val -> Val + end; _VaLuE_ -> _VaLuE_ end. |