--- a/src/Pure/System/isar.ML Sat Jun 06 21:11:23 2009 +0200
+++ b/src/Pure/System/isar.ML Sat Jun 06 21:11:23 2009 +0200
@@ -134,7 +134,7 @@
NONE => if secure then quit () else ()
| SOME (tr, src') => if op >> tr orelse check_secure () then raw_loop secure src' else ())
handle exn =>
- (Output.error_msg (Toplevel.exn_message exn)
+ (Output.error_msg (ML_Compiler.exn_message exn)
handle crash =>
(CRITICAL (fn () => change crashes (cons crash));
warning "Recovering from Isar toplevel crash -- see also Isar.crashes");