From 5f27ddc5505dcf1b0bac325836cbb0dcca4d373c Mon Sep 17 00:00:00 2001
From: "Anne C.A. Baanen" <vierkantor@vierkantor.com>
Date: Thu, 31 Oct 2024 17:04:57 +0100
Subject: [PATCH] oops, case sensitivity...

---
 Mathlib/Tactic/CategoryTheory/Bicategory/Datatypes.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Mathlib/Tactic/CategoryTheory/Bicategory/Datatypes.lean b/Mathlib/Tactic/CategoryTheory/Bicategory/Datatypes.lean
index 052095884f8b8..ad8c6ce4d989c 100644
--- a/Mathlib/Tactic/CategoryTheory/Bicategory/Datatypes.lean
+++ b/Mathlib/Tactic/CategoryTheory/Bicategory/Datatypes.lean
@@ -5,7 +5,7 @@ Authors: Yuma Mizuno
 -/
 import Mathlib.Tactic.CategoryTheory.Coherence.Datatypes
 import Mathlib.Tactic.CategoryTheory.BicategoricalComp
-import QQ
+import Qq
 
 /-!
 # Expressions for bicategories