src/HOL/Library/code_test.ML
changeset 60022 ea987317a785
parent 59936 b8ffc3dc9e24
child 61077 06cca32aa519
     1.1 --- a/src/HOL/Library/code_test.ML	Sat Apr 11 22:09:16 2015 +0200
     1.2 +++ b/src/HOL/Library/code_test.ML	Sat Apr 11 23:28:34 2015 +0200
     1.3 @@ -148,7 +148,8 @@
     1.4         (ts ~~ evals))]
     1.5  
     1.6  fun pretty_failure ctxt target (((_, evals), query), eval_ts) =
     1.7 -  Pretty.block (Pretty.text ("Test in " ^ target ^ " failed for") @ [Pretty.brk 1, Pretty.quote (Syntax.pretty_term ctxt query)]
     1.8 +  Pretty.block (Pretty.text ("Test in " ^ target ^ " failed for")
     1.9 +    @ [Pretty.brk 1, Pretty.quote (Syntax.pretty_term ctxt query)]
    1.10      @ pretty_eval ctxt evals eval_ts)
    1.11  
    1.12  fun pretty_failures ctxt target failures =