diff options
| author | Dan Gudmundsson <[email protected]> | 2011-02-23 14:30:27 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2011-03-02 08:16:18 +0100 |
| commit | 9b3fd5946a4689f7403e1910ebe9e4a713710df7 (patch) | |
| tree | 634ff3541c607cc637f852b20a8b47560e46eb61 /lib/mnesia/src/mnesia_locker.erl | |
| parent | cd7fc2cb900dcd296f2ba215dea1c691440107d0 (diff) | |
| download | otp-9b3fd5946a4689f7403e1910ebe9e4a713710df7.tar.gz otp-9b3fd5946a4689f7403e1910ebe9e4a713710df7.tar.bz2 otp-9b3fd5946a4689f7403e1910ebe9e4a713710df7.zip | |
Mnesia dialyzer fixes
With help from Kostis
Diffstat (limited to 'lib/mnesia/src/mnesia_locker.erl')
| -rw-r--r-- | lib/mnesia/src/mnesia_locker.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/mnesia/src/mnesia_locker.erl b/lib/mnesia/src/mnesia_locker.erl index 6b5770d91e..ca0cc79c45 100644 --- a/lib/mnesia/src/mnesia_locker.erl +++ b/lib/mnesia/src/mnesia_locker.erl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 1996-2009. All Rights Reserved. +%% Copyright Ericsson AB 1996-2011. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -1104,6 +1104,7 @@ do_stop() -> system_continue(_Parent, _Debug, State) -> loop(State). +-spec system_terminate(_, _, _, _) -> no_return(). system_terminate(_Reason, _Parent, _Debug, _State) -> do_stop(). |