--- a/src/Pure/proofterm.ML Thu Sep 08 12:43:40 2022 +0200
+++ b/src/Pure/proofterm.ML Thu Sep 08 12:52:41 2022 +0200
@@ -1860,8 +1860,8 @@
fun search _ [] =
error ("Unsolvable constraints:\n" ^
Pretty.string_of (Pretty.chunks (map (fn (_, p, _) =>
- Syntax.pretty_flexpair (Syntax.init_pretty_global thy)
- (apply2 (Envir.norm_term bigenv) p)) cs)))
+ Pretty.block (Syntax.pretty_flexpair (Syntax.init_pretty_global thy)
+ (apply2 (Envir.norm_term bigenv) p))) cs)))
| search env ((u, p as (t1, t2), vs)::ps) =
if u then
let