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_recover.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_recover.erl')
| -rw-r--r-- | lib/mnesia/src/mnesia_recover.erl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/mnesia/src/mnesia_recover.erl b/lib/mnesia/src/mnesia_recover.erl index 0548a25ebf..b6492707e2 100644 --- a/lib/mnesia/src/mnesia_recover.erl +++ b/lib/mnesia/src/mnesia_recover.erl @@ -178,7 +178,11 @@ log_decision(D) -> 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. |