From d5465691fca59a2347d6ae02b992b0da4b6e06b3 Mon Sep 17 00:00:00 2001
From: shortc1rcuit <shortc1rcuit0168@gmail.com>
Date: Fri, 12 Jul 2024 17:49:48 +0100
Subject: [PATCH] Added to Compfiles

---
 Compfiles.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Compfiles.lean b/Compfiles.lean
index 9078f22c..b0a31058 100644
--- a/Compfiles.lean
+++ b/Compfiles.lean
@@ -149,6 +149,7 @@ import Compfiles.Poland1998P4
 import Compfiles.Poland2016S1P8
 import Compfiles.Romania1998P12
 import Compfiles.Russia1998P42
+import Compfiles.UK2024R1P1
 import Compfiles.UpperLowerContinuous
 import Compfiles.Usa1974P2
 import Compfiles.Usa1978P1