diff options
author | Hans Bolinder <hasse@erlang.org> | 2016-02-04 11:49:26 +0100 |
---|---|---|
committer | Hans Bolinder <hasse@erlang.org> | 2016-02-17 09:17:32 +0100 |
commit | d1972f66df96ec76bc6a3861d1ff8f4f4c302b5f (patch) | |
tree | 23d46bb464954d542c6c6cd32bbcc2665b453232 /lib/mnesia | |
parent | e7ec19163e2f7f626fc9193fae6e3c3baa6e3f70 (diff) | |
download | erlang-d1972f66df96ec76bc6a3861d1ff8f4f4c302b5f.tar.gz |
mnesia: Add suppression of Dialyzer warnings
Diffstat (limited to 'lib/mnesia')
-rw-r--r-- | lib/mnesia/src/mnesia_schema.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/mnesia/src/mnesia_schema.erl b/lib/mnesia/src/mnesia_schema.erl index 1bd8703e1d..782493fb4f 100644 --- a/lib/mnesia/src/mnesia_schema.erl +++ b/lib/mnesia/src/mnesia_schema.erl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 1996-2011. All Rights Reserved. +%% Copyright Ericsson AB 1996-2016. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -1095,6 +1095,7 @@ do_delete_table(Tab) -> ensure_writable(schema), insert_schema_ops(TidTs, make_delete_table(Tab, whole_table)). +-dialyzer({no_improper_lists, make_delete_table/2}). make_delete_table(Tab, Mode) -> case existed_before(Tab) of false -> |