From b5df3588674dc028f0aa8e80c6bd4aa3cb0964ed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gerd=20M=C3=B6llmann?= <gerd@gnu.org>
Date: Thu, 16 May 2024 22:04:38 +0200
Subject: [PATCH] mirror_interval

---
 src/igc.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/igc.c b/src/igc.c
index c43711df239..8cd269678bd 100644
--- a/src/igc.c
+++ b/src/igc.c
@@ -3626,7 +3626,13 @@ mirror_string (struct igc_mirror *m, struct Lisp_String *s)
 static void
 mirror_interval (struct igc_mirror *m, struct interval *iv)
 {
-  emacs_abort ();
+  IGC_MIRROR_RAW (m, &iv->left);
+  IGC_MIRROR_RAW (m, &iv->right);
+  if (iv->up_obj)
+    IGC_MIRROR_OBJ (m, &iv->up.obj);
+  else if (iv->up.interval)
+    IGC_MIRROR_RAW (m, &iv->up.interval);
+  IGC_MIRROR_OBJ (m, &iv->plist);
 }
 
 static void