# HG changeset patch
# User wenzelm
# Date 1678037932 -3600
# Node ID a3dda42cd1100b8cd3fdecf3fc469e33a99a9fcb
# Parent  9398c48ea3d236327ff079868a4e70e4e8846e3e
more robust: disallow override;

diff -r 9398c48ea3d2 -r a3dda42cd110 src/Pure/System/progress.scala
--- a/src/Pure/System/progress.scala	Sun Mar 05 18:20:05 2023 +0100
+++ b/src/Pure/System/progress.scala	Sun Mar 05 18:38:52 2023 +0100
@@ -59,7 +59,7 @@
     enabled: Boolean = true
   ): A = Timing.timeit(body, message = message, enabled = enabled, output = echo(_))
 
-  @volatile protected var is_stopped = false
+  @volatile private var is_stopped = false
   def stop(): Unit = { is_stopped = true }
   def stopped: Boolean = {
     if (Thread.interrupted()) is_stopped = true