From 112a759c9584170b85bf805ef83a1f01801f42d4 Mon Sep 17 00:00:00 2001
From: adomani <adomani@gmail.com>
Date: Fri, 30 Aug 2024 13:14:00 +0200
Subject: [PATCH] add import

---
 Mathlib.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Mathlib.lean b/Mathlib.lean
index c78231a21f5a8..b14e2fda0255a 100644
--- 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