commit 512e1c4d0939485931bc4efb0615f7363a5bd132
author Dario Freni <dariofreni@google.com> Fri Jun 22 09:11:17 2018 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Fri Jun 22 09:11:17 2018 +0000
tree d243408f0f297637c0b75cd256f8c5f2aabe1499
parent 981aac14a3ff869b09072cb97f119a11dc6a83eb
parent 53a0763703da6ea72f3f68d71a9f27b096b073aa

Merge "Add a rule for /product-services partition."

private/platform_app.te

diff --git a/private/platform_app.te b/private/platform_app.te
index 41dc915..eec503a 100644
--- a/private/platform_app.te
+++ b/private/platform_app.te
@@ -66,7 +66,6 @@
 allow platform_app persistent_data_block_service:service_manager find;
 allow platform_app radio_service:service_manager find;
 allow platform_app thermal_service:service_manager find;
-allow platform_app timedetector_service:service_manager find;
 allow platform_app timezone_service:service_manager find;
 allow platform_app app_api_service:service_manager find;
 allow platform_app system_api_service:service_manager find;