src/HOL/Tools/ATP_Manager/atp_systems.ML

--- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Fri Jun 25 16:03:34 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Fri Jun 25 16:15:03 2010 +0200
@@ -22,8 +22,8 @@
 structure ATP_Systems : ATP_SYSTEMS =
 struct
 
+open Clausifier
 open Sledgehammer_Util
-open Sledgehammer_Fact_Preprocessor
 open Sledgehammer_HOL_Clause
 open Sledgehammer_Fact_Filter
 open Sledgehammer_Proof_Reconstruct