From ea2b1db67951c321f4fd315309fa8434874372c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gerd=20M=C3=B6llmann?= <gerd.moellmann@gmail.com>
Date: Tue, 3 Feb 2026 06:33:25 +0100
Subject: [PATCH] ; Fix a compilation warning if not USE_EPHEMERON_POOL

* src/igc.c (make_pool_aeph): Put in #ifdef / #endif.
---
 src/igc.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/igc.c b/src/igc.c
index f087221d3e4..a21bf59f7e2 100644
--- a/src/igc.c
+++ b/src/igc.c
@@ -5840,11 +5840,13 @@ make_pool_awl0 (struct igc *gc, mps_fmt_t fmt,
 			       find_dependent);
 }
 
+#ifdef USE_EPHEMERON_POOL
 static mps_pool_t
 make_pool_aeph (struct igc *gc, mps_fmt_t fmt)
 {
   return make_pool_with_class (gc, fmt, mps_class_aeph (), NULL);
 }
+#endif
 
 static mps_pool_t
 make_pool_amcz (struct igc *gc, mps_fmt_t fmt)