src/HOL/Tools/Sledgehammer/sledgehammer_fact_minimizer.ML

--- a/src/HOL/Tools/Sledgehammer/sledgehammer_fact_minimizer.ML	Fri Jun 25 16:29:07 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_fact_minimizer.ML	Fri Jun 25 16:42:06 2010 +0200
@@ -20,7 +20,7 @@
 
 open Clausifier
 open Sledgehammer_Util
-open Sledgehammer_HOL_Clause
+open Sledgehammer_FOL_Clause
 open Sledgehammer_Proof_Reconstruct
 open ATP_Manager