From b969c4eb8c531137e8bfa397532a5be56ca25d34 Mon Sep 17 00:00:00 2001
From: Christian Bromann <git@bromann.dev>
Date: Tue, 13 May 2025 22:26:30 -0700
Subject: [PATCH] fix(session.ProxyConfiguration): make it a group to allow
 group choices

---
 index.bs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.bs b/index.bs
index 0615f87ba..895f0ad78 100644
--- a/index.bs
+++ b/index.bs
@@ -1713,13 +1713,13 @@ with parameter |value| is:
 [=remote end definition=] and [=local end definition=]
 
 <pre class="cddl remote-cddl local-cddl">
-session.ProxyConfiguration = {
+session.ProxyConfiguration = (
    session.AutodetectProxyConfiguration //
    session.DirectProxyConfiguration //
    session.ManualProxyConfiguration //
    session.PacProxyConfiguration //
    session.SystemProxyConfiguration
-}
+)
 
 session.AutodetectProxyConfiguration = (
    proxyType: "autodetect",