changeset 48373 | 527e2bad7cca |
parent 45251 | 12913296be79 |
child 48409 | 0d2114eb412a |
--- a/src/Pure/System/system_channel.scala Fri Jul 20 18:50:33 2012 +0200 +++ b/src/Pure/System/system_channel.scala Fri Jul 20 21:04:03 2012 +0200 @@ -47,8 +47,7 @@ } private def rm_fifo(fifo: String): Boolean = - Isabelle_System.platform_file( - Path.explode(if (Platform.is_windows) fifo + ".lnk" else fifo)).delete + Path.explode(if (Platform.is_windows) fifo + ".lnk" else fifo).file.delete private def fifo_input_stream(fifo: String): InputStream = {