diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if index 3c5dba74f..b4a691d0c 100644 --- a/policy/modules/system/userdomain.if +++ b/policy/modules/system/userdomain.if @@ -1956,7 +1956,7 @@ interface(`userdom_delete_all_user_home_content_files',` ') userdom_search_user_home_content($1) - delete_files_pattern($1 { user_home_dir_t user_home_content_type }, user_home_content_type) + delete_files_pattern($1, { user_home_dir_t user_home_content_type }, user_home_content_type) ') ######################################## diff --git a/policy/modules/system/userdomain.te b/policy/modules/system/userdomain.te index e2b538b7c..9da3e540f 100644 --- a/policy/modules/system/userdomain.te +++ b/policy/modules/system/userdomain.te @@ -1,4 +1,4 @@ -policy_module(userdomain, 4.8.5) +policy_module(userdomain, 4.8.6) ######################################## #