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: fewer warnings with scalac -Wunused:all;
authorwenzelm
Wed, 12 Feb 2025 13:31:06 +0100
changeset 82144 e8959b23208b
parent 82143 a43e39c52f26
child 82145 5b8639cb0d11
tuned: fewer warnings with scalac -Wunused:all;
src/Pure/PIDE/prover.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/prover.scala	Wed Feb 12 00:53:15 2025 +0100
+++ b/src/Pure/PIDE/prover.scala	Wed Feb 12 13:31:06 2025 +0100
@@ -215,7 +215,7 @@
 
     Isabelle_Thread.fork(name = name) {
       try {
-        var result = new StringBuilder(100)
+        val result = new StringBuilder(100)
         var finished = false
         while (!finished) {
           //{{{
isabelle