src/Tools/Code/code_scala.ML

                 val (p_pat, vars') = print_bind tyvars some_thm NOBR pat vars;
                 val p_body = print_term tyvars false some_thm vars' NOBR body
               in concat [str "case", p_pat, str "=>", p_body] end;
           in
             map print_select clauses
-            |> Pretty.block_enclose (concat [print_term tyvars false some_thm vars NOBR t, str "match", str "{"], str "}")
+            |> Pretty.block_enclose (concat [print_term tyvars false some_thm vars NOBR t, str "match {"], str "}")
             |> single
             |> enclose "(" ")"
           end;
     fun print_context tyvars vs s = applify "[" "]"
       (fn (v, sort) => (Pretty.block o map str)

           in if simple then
             concat [head, print_rhs vars2 (hd eqs)]
           else
             Pretty.block_enclose
               (concat [head, tuplify (map (str o lookup_var vars2) params),
-                str "match", str "{"], str "}")
+                str "match {"], str "}")
               (map print_clause eqs)
           end;
     val print_method = str o Library.enclose "`" "`" o deresolve_full o Constant;
     fun print_inst class (tyco, { vs, inst_params, superinst_params }) =
       let