src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

 struct
 
 open ATP_Systems
 open Sledgehammer_Util
 open Sledgehammer
-open Sledgehammer_Fact_Minimize
+open Sledgehammer_Minimize
 
 (** Sledgehammer commands **)
 
 fun add_to_relevance_override ns : relevance_override =
   {add = ns, del = [], only = false}