From af2c4e876b74668f0600bf763910f00ac5306368 Mon Sep 17 00:00:00 2001
From: Krste Asanovic <krste@eecs.berkeley.edu>
Date: Sun, 2 Apr 2023 13:17:27 -0700
Subject: [PATCH] Tried to clarify meaning of constraint. Closes #94.

---
 profiles.adoc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/profiles.adoc b/profiles.adoc
index 28f0719..e3b8c90 100644
--- a/profiles.adoc
+++ b/profiles.adoc
@@ -144,7 +144,8 @@ option in the underlying profile, or constraining some
 implementation-specific parameter in the profile to lie within a
 certain range.
 
-A platform cannot remove constraints from a profile.
+A platform cannot remove mandates or reduce other requirements in a
+profile.
 
 NOTE: A new profile should be proposed if existing profiles do not
 match the needs of a new platform.