From 9e6b0884a6fe4adc2e9e937b9a565639c27c6cfa Mon Sep 17 00:00:00 2001
From: Michael Kay <mike@saxonica.com>
Date: Fri, 6 Oct 2023 23:05:12 +0100
Subject: [PATCH] Minor markup change

---
 specifications/xquery-40/src/expressions.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specifications/xquery-40/src/expressions.xml b/specifications/xquery-40/src/expressions.xml
index 09f9932b7..996a5077d 100644
--- a/specifications/xquery-40/src/expressions.xml
+++ b/specifications/xquery-40/src/expressions.xml
@@ -5174,7 +5174,7 @@ name.</p>
                
                <ulist diff="add" at="issue730">
                   <item><p><var>V</var> is a <termref def="dt-subtype"/> of <var>R</var></p></item>
-                  <item><p><var>empty-sequence()</var> is a <termref def="dt-subtype"/> of <var>R</var></p></item>
+                  <item><p><code>empty-sequence()</code> is a <termref def="dt-subtype"/> of <var>R</var></p></item>
                </ulist>