From 3a9096d94f9d770185321aa836430850b6e97565 Mon Sep 17 00:00:00 2001
From: Chris PeBenito <cpebenito@tresys.com>
Date: Oct 16 2007 16:02:51 +0000
Subject: trunk: do not emit S_(0, 0, 0) in kernel headers for userspace classes that inherit commons.


---

diff --git a/policy/flask/flask.py b/policy/flask/flask.py
index 35f77fa..82e45b3 100644
--- a/policy/flask/flask.py
+++ b/policy/flask/flask.py
@@ -310,9 +310,7 @@ class Flask:
 				i = self.inherits[c]
 				count = len(self.common[i])
 				user = self.userspace.has_key(c)
-				if mode == self.KERNEL and user:
-					results.append("   S_(0, 0, 0)\n")
-				else:
+				if not (mode == self.KERNEL and user):
 					results.append("   S_(SECCLASS_%s, %s, %s)\n" % (c.upper(), i, self.createUL(count)))
 		return results