src/Pure/goal.ML
changeset 32187 cca43ca13f4f
parent 32145 220c9e439d39
child 32197 bc341bbe4417
     1.1 --- a/src/Pure/goal.ML	Sat Jul 25 00:53:47 2009 +0200
     1.2 +++ b/src/Pure/goal.ML	Sat Jul 25 10:31:27 2009 +0200
     1.3 @@ -78,7 +78,7 @@
     1.4    (case Thm.nprems_of th of
     1.5      0 => conclude th
     1.6    | n => raise THM ("Proof failed.\n" ^
     1.7 -      Pretty.string_of (Pretty.chunks (Display_Goal.pretty_goals_without_context n th)) ^
     1.8 +      Pretty.string_of (Pretty.chunks (Goal_Display.pretty_goals_without_context n th)) ^
     1.9        ("\n" ^ string_of_int n ^ " unsolved goal(s)!"), 0, [th]));
    1.10  
    1.11