Added to Compfiles

dwrensha · Jul 12, 2024 · d546569 · d546569
1 parent dd55339
commit d546569
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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