tuned;
authorwenzelm
Sat, 17 Jul 2021 12:59:47 +0200
changeset 74292 77cc23b550e9
parent 74291 47a568d9067e
child 74293 0701ff55780d
tuned;
src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Sat Jul 17 10:47:42 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Sat Jul 17 12:59:47 2021 +0200
@@ -229,8 +229,6 @@
             if (p.toString().endsWith(".scala")) { scala_sources = true; }
         }
         if (scala_sources) {
-            boolean ok = false;
-
             InputStream in_orig = System.in;
             PrintStream out_orig = System.out;
             PrintStream err_orig = System.err;
@@ -238,6 +236,7 @@
             ByteArrayOutputStream out = new ByteArrayOutputStream();
 
             // Single-threaded context!
+            boolean ok = false;
             try {
                 PrintStream out_stream = new PrintStream(out);
                 System.setIn(in);