diff options
Diffstat (limited to 'lib/mnesia')
| -rw-r--r-- | lib/mnesia/src/mnesia_lib.erl | 1 |
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; |