From ccae63f67785d8c363c6e5faf1b817d26dc23a18 Mon Sep 17 00:00:00 2001
From: tirix <5831830+tirix@users.noreply.github.com>
Date: Sat, 4 Nov 2023 18:10:32 +0100
Subject: [PATCH] Fixes link to structured typesetting version of the pages
 (#3611)

---
 set.mm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/set.mm b/set.mm
index 2a66b59e7d..ad6dfa39ba 100644
--- a/set.mm
+++ b/set.mm
@@ -431553,7 +431553,7 @@ orthogonal vectors (i.e. whose inner product is 0) is the sum of the
 /* Optional link(s) to other versions of the theorem page.  A "*" is replaced
    with the label of the current theorem.  If you need a literal "*" as part
    of the URL, use the alternate URL encoding "%2A". */
-htmlexturl '<A HREF="http://metamath.tirix.org/*.html">'
+htmlexturl '<A HREF="http://metamath.tirix.org/mpests/*.html">'
     + 'Structured version</A>&nbsp;&nbsp; '
     + '<A HREF="https://expln.github.io/metamath/asrt/*.html">'
     + 'Visualization version</A>&nbsp;&nbsp; ';