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