--- a/src/Pure/Proof/reconstruct.ML Sat Jul 25 00:53:47 2009 +0200
+++ b/src/Pure/Proof/reconstruct.ML Sat Jul 25 10:31:27 2009 +0200
@@ -255,7 +255,7 @@
let
fun search env [] = error ("Unsolvable constraints:\n" ^
Pretty.string_of (Pretty.chunks (map (fn (_, p, _) =>
- Display_Goal.pretty_flexpair (Syntax.init_pretty_global thy) (pairself
+ Goal_Display.pretty_flexpair (Syntax.init_pretty_global thy) (pairself
(Envir.norm_term bigenv) p)) cs)))
| search env ((u, p as (t1, t2), vs)::ps) =
if u then