changeset 26928 | ca87aff1ad2d |
parent 26665 | 2e363edf7578 |
child 26939 | 1035c89b4c02 |
--- a/src/Pure/old_goals.ML Fri May 16 23:25:37 2008 +0200 +++ b/src/Pure/old_goals.ML Sat May 17 13:54:30 2008 +0200 @@ -201,7 +201,7 @@ case e of THM (msg,i,thms) => (writeln ("Exception THM " ^ string_of_int i ^ " raised:\n" ^ msg); - List.app print_thm thms) + List.app Display.print_thm thms) | THEORY (msg,thys) => (writeln ("Exception THEORY raised:\n" ^ msg); List.app (writeln o Context.str_of_thy) thys)