--- 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 *)