From bd3cd2195d1b6a34655ae65a68d63939b028f124 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Mon, 5 Jun 2023 21:17:58 +0000
Subject: Update website

---
 manual/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/index.html b/manual/index.html
index 32fec61b..f591f9c8 100644
--- a/manual/index.html
+++ b/manual/index.html
@@ -1187,7 +1187,7 @@ key and its value becomes the value,</p>
 <pre><code>"f o o" as $foo | "b a r" as $bar | {$foo, $bar:$foo}
 </code></pre>
 <p>produces</p>
-<pre><code>{"f o o":"f o o","b a r":"f o o"}
+<pre><code>{"foo":"f o o","b a r":"f o o"}
 </code></pre>
 
                   
-- 
cgit v1.2.3