From 5829ce9ff5407e6931ada2deac0f985691734f8c Mon Sep 17 00:00:00 2001
From: SafinWasi <6601566+SafinWasi@users.noreply.github.com>
Date: Fri, 7 Feb 2025 15:45:22 -0600
Subject: [PATCH] docs(jans-cedarling): shorten conditional

Signed-off-by: SafinWasi <6601566+SafinWasi@users.noreply.github.com>
---
 docs/cedarling/cedarling-krakend.md        | 2 +-
 jans-cedarling/cedarling-krakend/README.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/cedarling/cedarling-krakend.md b/docs/cedarling/cedarling-krakend.md
index 784412e7835..26a24709eba 100644
--- a/docs/cedarling/cedarling-krakend.md
+++ b/docs/cedarling/cedarling-krakend.md
@@ -100,7 +100,7 @@ To test the plugin, you will need:
       resource is gatewayDemo::HTTP_Request
     )
     when {
-    ((principal has "access_token") && ((principal["access_token"]) has "scope")) && (((principal["access_token"])["scope"]).contains("profile"))
+        ((principal["access_token"])["scope"]).contains("profile")
     };
     ```
 - This policy will allow access so long as the access token contains the `profile` scope.
diff --git a/jans-cedarling/cedarling-krakend/README.md b/jans-cedarling/cedarling-krakend/README.md
index 784412e7835..26a24709eba 100644
--- a/jans-cedarling/cedarling-krakend/README.md
+++ b/jans-cedarling/cedarling-krakend/README.md
@@ -100,7 +100,7 @@ To test the plugin, you will need:
       resource is gatewayDemo::HTTP_Request
     )
     when {
-    ((principal has "access_token") && ((principal["access_token"]) has "scope")) && (((principal["access_token"])["scope"]).contains("profile"))
+        ((principal["access_token"])["scope"]).contains("profile")
     };
     ```
 - This policy will allow access so long as the access token contains the `profile` scope.