src/Pure/System/isabelle_system.ML

--- a/src/Pure/System/isabelle_system.ML	Sun Mar 13 15:16:37 2011 +0100
+++ b/src/Pure/System/isabelle_system.ML	Sun Mar 13 16:01:00 2011 +0100
@@ -56,7 +56,7 @@
   let
     val path = File.tmp_path (Path.basic (name ^ serial_string ()));
     val _ = File.exists path andalso
-      raise Fail ("Temporary file already exists: " ^ quote (Path.implode path));
+      raise Fail ("Temporary file already exists: " ^ Path.print path);
   in path end;
 
 fun rm_tree path = system_command ("rm -r -f " ^ File.shell_path path);