diff -r c48d086264c4 -r 477c414000f8 src/Pure/Proof/reconstruct.ML
--- a/src/Pure/Proof/reconstruct.ML	Sat Jun 05 13:07:49 2004 +0200
+++ b/src/Pure/Proof/reconstruct.ML	Sat Jun 05 13:08:53 2004 +0200
@@ -265,7 +265,7 @@
       let
         fun search env [] = error ("Unsolvable constraints:\n" ^
               Pretty.string_of (Pretty.chunks (map (fn (_, p, _) =>
-                Display.pretty_flexpair (Sign.pretty_term sg) (pairself
+                Display.pretty_flexpair (Sign.pp sg) (pairself
                   (Envir.norm_term bigenv) p)) cs)))
           | search env ((u, p as (t1, t2), vs)::ps) =
               if u then