From 7777f4eb94581b880ffea48f9e75daa9085b8e45 Mon Sep 17 00:00:00 2001
From: John Turner <jturner.usa@gmail.com>
Date: Sat, 23 Aug 2025 20:16:17 -0400
Subject: move "devpts" out of misc.cil

---
 src/misc.cil | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'src/misc.cil')

diff --git a/src/misc.cil b/src/misc.cil
index d0e4998..03eb36e 100644
--- a/src/misc.cil
+++ b/src/misc.cil
@@ -3,11 +3,6 @@
 
 (sidcontext init (sys.id sys.role sys.subj sys.lowlow)) ;; userspace_initial_context
 
-(in devpts
-
-    (filecon "/dev/pts" dir ())
-    (filecon "/dev/pts/.*" any ()))
-
 (in devtmp
 
     (allow fs self (filesystem (associate))))
-- 
cgit v1.2.3