src/Pure/Thy/read.ML

          mark_children thy_name;
 
          (*Remove temporary files*)
          if not (!delete_tmpfiles) orelse (thy_file = "") orelse thy_uptodate 
            then ()
-         else delete_file (out_name name);
+         else delete_file (out_name thy_name);
          delete_file ".tmp.ML"
         )
     end;
 
 fun time_use_thy tname = timeit(fn()=>