1.1 --- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Thu Apr 29 19:07:36 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Thu Apr 29 19:08:02 2010 +0200
     1.3 @@ -141,8 +141,8 @@
     1.4      fun prob_pathname nr =
     1.5        let
     1.6          val probfile =
     1.7 -          Path.basic (the_problem_prefix ^
     1.8 -                      (if overlord then "_" ^ name else serial_string ())
     1.9 +          Path.basic ((if overlord then "prob_" ^ name
    1.10 +                       else the_problem_prefix ^ serial_string ())
    1.11                        ^ "_" ^ string_of_int nr)
    1.12        in
    1.13          if the_dest_dir = "" then File.tmp_path probfile