changeset 4994 | 8b361563d470 |
parent 4280 | 278660f52716 |
child 5041 | a1d0a6d555cd |
--- a/src/Pure/goals.ML Fri Jun 05 14:23:07 1998 +0200 +++ b/src/Pure/goals.ML Fri Jun 05 14:23:27 1998 +0200 @@ -176,7 +176,7 @@ seq print_thm thms) | THEORY (msg,thys) => (writeln ("Exception THEORY raised:\n" ^ msg); - seq print_theory thys) + seq (Pretty.writeln o Display.pretty_theory) thys) | TERM (msg,ts) => (writeln ("Exception TERM raised:\n" ^ msg); seq (writeln o Sign.string_of_term sign) ts)