# HG changeset patch
# User wenzelm
# Date 1700394734 -3600
# Node ID 93abe74fe16f41341601df9d3577a1beb799a108
# Parent  bd250213c262d140c6c635390451a3e7654a4de1
tuned signature: fewer warnings in IntelliJ IDEA;

diff -r bd250213c262 -r 93abe74fe16f src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 12:51:47 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun Nov 19 12:52:14 2023 +0100
@@ -492,7 +492,7 @@
       log(end_date, msg)
     }
 
-    val log_dir = Isabelle_System.make_directory(main_dir + Build_Log.log_subdir(start_date))
+    val log_dir: Path = Isabelle_System.make_directory(main_dir + Build_Log.log_subdir(start_date))
 
     log(start_date, "started")
   }