src/Pure/Concurrent/counter.scala

--- a/src/Pure/Concurrent/counter.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Concurrent/counter.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -9,14 +9,12 @@
 package isabelle
 
 
-object Counter
-{
+object Counter {
   type ID = Long
   def make(): Counter = new Counter
 }
 
-final class Counter private
-{
+final class Counter private {
   private var count: Counter.ID = 0
 
   def apply(): Counter.ID = synchronized {