src/Pure/Isar/session.ML

--- a/src/Pure/Isar/session.ML	Sat Jan 14 17:14:15 2006 +0100
+++ b/src/Pure/Isar/session.ML	Sat Jan 14 17:14:16 2006 +0100
@@ -86,7 +86,7 @@
          (dumping dump) (get_rpath rpath) verbose;
        ThyInfo.time_use root;
        finish ()))) ()
-  handle exn => (writeln (Toplevel.exn_message exn); exit 1);
+  handle exn => (Output.error_msg (Toplevel.exn_message exn); exit 1);
 
 
 end;