summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2017-06-28 06:38:52 +0000
committerMichał Górny <mgorny@gentoo.org>2017-06-28 06:38:52 +0000
commit91be984ad59f3a9959e16a948d240ea24b9746e4 (patch)
tree63175313fa6516b486b8b584c22bfb2153cd02be
parent/* QA check logic */ use symbols to shorten the algos, and make them look mor... (diff)
downloadglep-91be984ad59f3a9959e16a948d240ea24b9746e4.tar.gz
glep-91be984ad59f3a9959e16a948d240ea24b9746e4.tar.bz2
glep-91be984ad59f3a9959e16a948d240ea24b9746e4.zip
/* QA check logic */ make it clear we're not going out of single C
-rw-r--r--GLEP:73.mw4
1 files changed, 2 insertions, 2 deletions
diff --git a/GLEP:73.mw b/GLEP:73.mw
index 3070551..6b745df 100644
--- a/GLEP:73.mw
+++ b/GLEP:73.mw
@@ -209,8 +209,8 @@ The check for alteration of immutable flags is done for every constraint separat
* ''E'' references an immutable flag whose immutable state is ''¬E''.
The check for self-conflicting constraints is performed for every constraint separately. A flat constraint is determined to be self-conflicting if the following condition occurs:
-* for any ''c<sub>i</sub>'':
-** there is at least one ''c<sub>j</sub>'' (''j ≠ i'') that is ''¬c<sub>i</sub>''.
+* for any ''c<sub>i</sub>'' in ''C'':
+** there is at least one ''c<sub>j</sub>'' (''j ≠ i'', in the same ''C'') that is ''¬c<sub>i</sub>''.
==Rationale==
===Restrictions for allowed REQUIRED_USE syntax===