# HG changeset patch
# User wenzelm
# Date 1428787714 -7200
# Node ID ea987317a7851e3ed6d695323cf9c181f3bbe1a8
# Parent  6e6cc8c012a2424e17fa5768066863e348dad712
tuned whitespace;

diff -r 6e6cc8c012a2 -r ea987317a785 src/HOL/Library/code_test.ML
--- a/src/HOL/Library/code_test.ML	Sat Apr 11 22:09:16 2015 +0200
+++ b/src/HOL/Library/code_test.ML	Sat Apr 11 23:28:34 2015 +0200
@@ -148,7 +148,8 @@
        (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 =