diff -r c248e4f1be74 -r 0b8b73b49848 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Mon Jan 23 17:40:31 2012 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon Jan 23 17:40:32 2012 +0100
@@ -71,7 +71,7 @@
 
 open ATP_Problem
 open ATP_Proof
-open ATP_Translate
+open ATP_Problem_Generate
 
 (* ATP configuration *)