removing library search

ufmg-smite · Nov 8, 2023 · 2de7b2d · 2de7b2d
1 parent 5bc4291
commit 2de7b2d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Smt/Reconstruction/Certifying/Congruence.lean b/Smt/Reconstruction/Certifying/Congruence.lean
@@ -1,5 +1,4 @@
 import Lean
-import Mathlib.Tactic.LibrarySearch
 
 open Lean Elab Tactic Meta