diff -r 55ca7578d3e9 -r 1cce41dc0c41 src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Tue Aug 29 13:05:32 2023 +0200
+++ b/src/Tools/Code/code_scala.ML	Tue Aug 29 15:23:06 2023 +0200
@@ -70,7 +70,7 @@
       | print_tupled_typ tyvars (tys, ty) =
           concat [enum "," "(" ")" (map (print_typ tyvars NOBR) tys),
             str "=>", print_typ tyvars NOBR ty];
-    fun constraint p1 p2 = Pretty.block [p1, str ":", Pretty.brk 1, p2];
+    fun constraint p1 p2 = Pretty.block [p1, str " : ", p2];
     fun print_var vars NONE = str "_"
       | print_var vars (SOME v) = (str o lookup_var vars) v;
     fun applify_dict tyvars (Dict (_, d)) = applify_plain_dict tyvars d