From 03d8b84ab5afb361876108c30c552ad6f87941f5 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Fri, 11 Oct 2024 23:12:18 +0200 Subject: [PATCH] Remove references to units removed from the GNAT repository. Issue: eng/spark/spark2014#625 --- support/rts_sources/sources.py | 4 ---- 1 file changed, 4 deletions(-) diff --git a/support/rts_sources/sources.py b/support/rts_sources/sources.py index d96afcaf..bf7e84ee 100644 --- a/support/rts_sources/sources.py +++ b/support/rts_sources/sources.py @@ -1673,10 +1673,6 @@ "libgnat/a-chtgbk.ads", "libgnat/a-chtgbo.adb", "libgnat/a-chtgbo.ads", - "libgnat/a-chtgfk.adb", - "libgnat/a-chtgfk.ads", - "libgnat/a-chtgfo.adb", - "libgnat/a-chtgfo.ads", "libgnat/a-chtgke.adb", "libgnat/a-chtgke.ads", "libgnat/a-chtgop.adb",