1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Mon Jan 23 17:40:31 2012 +0100
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon Jan 23 17:40:32 2012 +0100
     1.3 @@ -71,7 +71,7 @@
     1.4  
     1.5  open ATP_Problem
     1.6  open ATP_Proof
     1.7 -open ATP_Translate
     1.8 +open ATP_Problem_Generate
     1.9  
    1.10  (* ATP configuration *)
    1.11