aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--lib/mnesia/src/mnesia_lib.erl1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/mnesia/src/mnesia_lib.erl b/lib/mnesia/src/mnesia_lib.erl
index 558eda467c..36bcfe8de9 100644
--- a/lib/mnesia/src/mnesia_lib.erl
+++ b/lib/mnesia/src/mnesia_lib.erl
@@ -390,7 +390,6 @@ set(Var, Val) ->
unset(Var) ->
?ets_delete(mnesia_gvar, Var).
--spec other_val(_, _) -> no_return().
other_val(Var, Other) ->
case Var of
{_, where_to_read} -> nowhere;