diff -r 183a28459663 -r 323eecf508b4 src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Mon Oct 02 11:28:23 2023 +0200
+++ b/src/Pure/Tools/scala_project.scala	Sun Oct 08 15:02:01 2023 +0200
@@ -12,7 +12,7 @@
   /** build tools **/
 
   val java_version: String = "17"
-  val scala_version: String = "3.1.3"
+  val scala_version: String = "3.3.0"
 
   abstract class Build_Tool {
     def project_root: Path