Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/proofterm.ML
changeset 76083 8d6cb72aa511
parent 76082 1202e29798a4
child 77730 4a174bea55e2 
--- a/src/Pure/proofterm.ML	Thu Sep 08 12:52:41 2022 +0200
+++ b/src/Pure/proofterm.ML	Thu Sep 08 13:03:10 2022 +0200
@@ -1860,7 +1860,7 @@
         fun search _ [] =
               error ("Unsolvable constraints:\n" ^
                 Pretty.string_of (Pretty.chunks (map (fn (_, p, _) =>
-                  Pretty.block (Syntax.pretty_flexpair (Syntax.init_pretty_global thy)
+                  Pretty.item (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
isabelle