src/HOL/Tools/res_atp.ML
changeset 20995 51c41f167adc
parent 20954 3bbe7cab8037
child 21070 0a898140fea2
     1.1 --- a/src/HOL/Tools/res_atp.ML	Thu Oct 12 15:00:07 2006 +0200
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Thu Oct 12 15:48:13 2006 +0200
     1.3 @@ -756,7 +756,7 @@
     1.4    end
     1.5    
     1.6  fun trace_array fname =
     1.7 -  let val path = File.tmp_path (Path.basic fname)
     1.8 +  let val path = File.unpack_platform_path fname
     1.9    in  Array.app (File.append path o (fn s => s ^ "\n"))  end;
    1.10  
    1.11  (*Converting a subgoal into negated conjecture clauses*)