src/Pure/Tools/profiling_report.scala

--- a/src/Pure/Tools/profiling_report.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Tools/profiling_report.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,19 +7,17 @@
 package isabelle
 
 
-object Profiling_Report
-{
+object Profiling_Report {
   def profiling_report(
     options: Options,
     session: String,
     theories: List[String] = Nil,
     clean_name: Boolean = false,
-    progress: Progress = new Progress): Unit =
-  {
+    progress: Progress = new Progress
+  ): Unit = {
     val store = Sessions.store(options)
 
-    using(store.open_database_context())(db_context =>
-    {
+    using(store.open_database_context())(db_context => {
       val result =
         db_context.input_database(session)((db, name) => Some(store.read_theories(db, name)))
       result match {
@@ -48,8 +46,8 @@
 
   val isabelle_tool =
     Isabelle_Tool("profiling_report", "report Poly/ML profiling information from log files",
-      Scala_Project.here, args =>
-    {
+      Scala_Project.here,
+      args => {
       var theories: List[String] = Nil
       var clean_name = false
       var options = Options.init()