src/HOL/Tools/ATP_Manager/atp_systems.ML

--- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Tue Jul 27 17:32:55 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Tue Jul 27 17:43:11 2010 +0200
@@ -22,7 +22,7 @@
 open Metis_Clauses
 open Sledgehammer_Util
 open Sledgehammer_Fact_Filter
-open Sledgehammer_TPTP_Format
+open ATP_Problem
 open Sledgehammer_Proof_Reconstruct
 open ATP_Manager