src/HOL/Sledgehammer.thy

--- a/src/HOL/Sledgehammer.thy	Thu Mar 27 11:20:59 2025 +0100
+++ b/src/HOL/Sledgehammer.thy	Thu Mar 27 13:30:16 2025 +0100
@@ -7,7 +7,7 @@
 section \<open>Sledgehammer: Isabelle--ATP Linkup\<close>
 
 theory Sledgehammer
-imports Presburger SMT Try0
+imports Presburger SMT Try0_HOL
 keywords
   "sledgehammer" :: diag and
   "sledgehammer_params" :: thy_decl