add import

leanprover-community · Aug 30, 2024 · 112a759 · 112a759
1 parent e7a9b35
commit 112a759
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -4692,6 +4692,7 @@ import Mathlib.Util.AssertExists
 import Mathlib.Util.AssertExistsExt
 import Mathlib.Util.AssertNoSorry
 import Mathlib.Util.AtomM
+import Mathlib.Util.CaptureException
 import Mathlib.Util.CompileInductive
 import Mathlib.Util.CountHeartbeats
 import Mathlib.Util.Delaborators