Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace;
authorwenzelm
Mon, 27 Sep 2010 18:10:21 +0200
changeset 39730 e4e1e3b69cba
parent 39729 6a64f04cb648
child 39731 5cb0d7b0d601
tuned whitespace;
src/Pure/System/download.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/download.scala	Mon Sep 27 14:54:10 2010 +0200
+++ b/src/Pure/System/download.scala	Mon Sep 27 18:10:21 2010 +0200
@@ -42,7 +42,7 @@
       val outstream = new BufferedOutputStream(new FileOutputStream(file))
       try {
         var c: Int = 0
-        while ({ c = read(); c != -1}) outstream.write(c)
+        while ({ c = read(); c != -1 }) outstream.write(c)
       }
       finally { outstream.close }
       if (mod_time > 0) file.setLastModified(mod_time)
isabelle