src/Pure/Isar/session.ML
changeset 18683 a8f9c192f6d1
parent 17207 19aa5ad633a7
child 18928 042608ffa2ec
     1.1 --- a/src/Pure/Isar/session.ML	Sat Jan 14 17:14:15 2006 +0100
     1.2 +++ b/src/Pure/Isar/session.ML	Sat Jan 14 17:14:16 2006 +0100
     1.3 @@ -86,7 +86,7 @@
     1.4           (dumping dump) (get_rpath rpath) verbose;
     1.5         ThyInfo.time_use root;
     1.6         finish ()))) ()
     1.7 -  handle exn => (writeln (Toplevel.exn_message exn); exit 1);
     1.8 +  handle exn => (Output.error_msg (Toplevel.exn_message exn); exit 1);
     1.9  
    1.10  
    1.11  end;