src/Pure/ROOT.scala

--- a/src/Pure/ROOT.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/ROOT.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -4,8 +4,7 @@
 Root of isabelle package.
 */
 
-package object isabelle
-{
+package object isabelle {
   val ERROR = Exn.ERROR
   val error = Exn.error _
   def cat_error(msgs: String*): Nothing = Exn.cat_error(msgs:_*)