From 1d5e41d03d66c4b44be01646dffdbb13e5b3df9c Mon Sep 17 00:00:00 2001
From: David Renshaw <dwrenshaw@gmail.com>
Date: Wed, 20 Nov 2024 15:03:27 -0500
Subject: [PATCH] fix filename

---
 Compfiles.lean                               | 2 +-
 Compfiles/{Imo1982Q3.lean => Imo1982P3.lean} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename Compfiles/{Imo1982Q3.lean => Imo1982P3.lean} (100%)

diff --git a/Compfiles.lean b/Compfiles.lean
index 28f31f8..9fe1bbe 100644
--- a/Compfiles.lean
+++ b/Compfiles.lean
@@ -51,8 +51,8 @@ import Compfiles.Imo1979P5
 import Compfiles.Imo1981P3
 import Compfiles.Imo1981P6
 import Compfiles.Imo1982P1
+import Compfiles.Imo1982P3
 import Compfiles.Imo1982P4
-import Compfiles.Imo1982Q3
 import Compfiles.Imo1983P1
 import Compfiles.Imo1983P5
 import Compfiles.Imo1983P6
diff --git a/Compfiles/Imo1982Q3.lean b/Compfiles/Imo1982P3.lean
similarity index 100%
rename from Compfiles/Imo1982Q3.lean
rename to Compfiles/Imo1982P3.lean