From 6d1d3495a691345aaeb93927a68d2a5f368b6ac2 Mon Sep 17 00:00:00 2001
From: Scott Fenton <sctfen@gmail.com>
Date: Wed, 27 Nov 2024 09:05:11 -0500
Subject: [PATCH] fix rewrap

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

diff --git a/set.mm b/set.mm
index 89368cde4..08f6af130 100644
--- a/set.mm
+++ b/set.mm
@@ -86142,7 +86142,7 @@ general ordinal versions of these theorems (in this case ~ oa0r ) so
     WFGWSVTWGVTWGIDWFVSGUDZWTPWSUEPUGWSVQWKWDDWFVLUHUFTVEVLVSWFAMERSBMERSCMERSD
     MERSUIUJ $.
 
- ${
+  ${
     $d A x y $.  $d B x y $.
     $( Finite ordinal subtraction cancels on the left.  (Contributed by Scott
        Fenton, 17-Oct-2024.) $)