From f6edffebcfd7973a747513585b7e8490e694402e Mon Sep 17 00:00:00 2001 From: Andras Boroska Date: Mon, 27 Nov 2017 20:11:14 +0100 Subject: Fix type create_option() in mnesia The create_option() type in mnesia lacks the user_properties field which is used by mnesia in various places. --- lib/mnesia/src/mnesia.erl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/mnesia/src/mnesia.erl b/lib/mnesia/src/mnesia.erl index b68b2de028..1842769778 100644 --- a/lib/mnesia/src/mnesia.erl +++ b/lib/mnesia/src/mnesia.erl @@ -151,7 +151,8 @@ {'snmp', SnmpStruct::term()} | {'storage_properties', [{Backend::module(), [BackendProp::_]}]} | {'type', 'set' | 'ordered_set' | 'bag'} | - {'local_content', boolean()}. + {'local_content', boolean()} | + {'user_properties', proplists:proplist()}. -type t_result(Res) :: {'atomic', Res} | {'aborted', Reason::term()}. -type activity() :: 'ets' | 'async_dirty' | 'sync_dirty' | 'transaction' | 'sync_transaction' | -- cgit v1.2.3