src/HOL/Library/code_test.ML

          [Syntax.pretty_term ctxt t, Pretty.brk 1, Pretty.str "=", Pretty.brk 1,
           Syntax.pretty_term ctxt eval])
        (ts ~~ evals))]
 
 fun pretty_failure ctxt target (((_, evals), query), eval_ts) =
-  Pretty.block (Pretty.text ("Test in " ^ target ^ " failed for") @ [Pretty.brk 1, Pretty.quote (Syntax.pretty_term ctxt query)]
+  Pretty.block (Pretty.text ("Test in " ^ target ^ " failed for")
+    @ [Pretty.brk 1, Pretty.quote (Syntax.pretty_term ctxt query)]
     @ pretty_eval ctxt evals eval_ts)
 
 fun pretty_failures ctxt target failures =
   Pretty.blk (0, Pretty.fbreaks (map (pretty_failure ctxt target) failures))