From f4c5ad753b64c9020e9bf5e53afb36facd68aa13 Mon Sep 17 00:00:00 2001
From: Adam Bem <adam.bem@zoho.eu>
Date: Tue, 6 Jun 2023 13:41:35 +0200
Subject: [PATCH] Adjusted XQuery version selection

---
 Frontend/tools/xquery.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Frontend/tools/xquery.html b/Frontend/tools/xquery.html
index 1d85ed6..fd0a56a 100644
--- a/Frontend/tools/xquery.html
+++ b/Frontend/tools/xquery.html
@@ -31,9 +31,8 @@
                         </select>
                         <label for="versions">XQuery version:</label>
                         <select name="versions" id="versions">
-                            <option class="hideable saxon" value="2.0">2.0</option>
-                            <option class="hideable saxon" value="3.0">3.0</option>
                             <option class="hideable saxon" value="3.1">3.1</option>
+                            <option class="hideable saxon" value="4.0">4.0</option>
                         </select>
                     </div>
                     <div>