chore: fix package name

leanprover-community · Feb 5, 2023 · 7574b6a · 7574b6a
1 parent 61e00e8
commit 7574b6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Tactic/TFAE.lean b/Mathlib/Tactic/TFAE.lean
@@ -7,7 +7,7 @@ import Lean
 import Mathlib.Tactic.Have
 import Mathlib.Tactic.SolveByElim
 import Mathlib.Data.List.TFAE
-import QQ.match
+import Qq.match
 
 /-!
 # The Following Are Equivalent (TFAE)