From 9db566f0c50467c33cafd3ea2b79e6fb8b02038d Mon Sep 17 00:00:00 2001
From: Joel Galenson <jgalenson@google.com>
Date: Thu, 4 Jan 2018 21:03:05 +0000
Subject: [PATCH] Revert "Update neverallow exception."

This reverts commit b40eb255a7ce73c75253e17f7632078a32fe7196.

Change-Id: I04d9e76152ed11ada4cabcc79bb4eec827f8abef
---
 public/domain.te | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/public/domain.te b/public/domain.te
index 142c10b20..f9b66880e 100644
--- a/public/domain.te
+++ b/public/domain.te
@@ -1116,12 +1116,10 @@ neverallow ~coredomain coredomain_hwservice:hwservice_manager add;
 neverallow * same_process_hwservice:hwservice_manager add;
 
 # On TREBLE devices, most coredomains should not access vendor_files.
-# TODO(b/71553434): Remove exceptions here.
 full_treble_only(`
   neverallow {
     coredomain
-    -appdomain
-    -bootanim
+    -halclientdomain
     -init
     -ueventd
     -crash_dump
-- 
GitLab