From 540ea534e067fee60d522784f456c7f0e5880d6d Mon Sep 17 00:00:00 2001
From: Jeff Vander Stoep <jeffv@google.com>
Date: Wed, 20 Jan 2016 16:37:56 -0800
Subject: [PATCH] gpsd: remove domain_deprecated

Only used in AOSP by flounder. No denials when running Google Maps.

Change-Id: I9902c263016b4d38f1b3ed0be0bc7c4cd17ee471
---
 gpsd.te | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gpsd.te b/gpsd.te
index 07e0feb6d..4b2222314 100644
--- a/gpsd.te
+++ b/gpsd.te
@@ -1,5 +1,5 @@
 # gpsd - GPS daemon
-type gpsd, domain, domain_deprecated;
+type gpsd, domain;
 type gpsd_exec, exec_type, file_type;
 
 init_daemon_domain(gpsd)
-- 
GitLab