Merge "neverallow shell access to 'device' type" am: 536d195469 am: ee1ff62257
am: c1dba09f28

Change-Id: I08164844e37e12b7221298620bf3a66cc2087c2e
diff --git a/private/domain.te b/private/domain.te
index c022564..6fef279 100644
--- a/private/domain.te
+++ b/private/domain.te
@@ -49,7 +49,6 @@
     coredomain
     -fsck
     -init
-    -shell
     -ueventd
     -vendor_init
   } device:{ blk_file file } no_rw_file_perms;