src/Pure/library.ML
changeset 3553 a148c7e7152e
parent 3525 88edd3450460
child 3606 5d7073700fbc
     1.1 --- a/src/Pure/library.ML	Tue Jul 22 19:33:30 1997 +0200
     1.2 +++ b/src/Pure/library.ML	Tue Jul 22 19:33:52 1997 +0200
     1.3 @@ -756,8 +756,9 @@
     1.4  
     1.5  (*print error message and abort to top level*)
     1.6  exception ERROR;
     1.7 -fun error s = (!error_fn s; raise ERROR);
     1.8 -fun sys_error msg = (!error_fn " !! SYSTEM ERROR !!\n"; error msg);
     1.9 +fun error_msg s = !error_fn s;
    1.10 +fun error s = (error_msg s; raise ERROR);
    1.11 +fun sys_error msg = (error_msg " !! SYSTEM ERROR !!\n"; error msg);
    1.12  
    1.13  fun assert p msg = if p then () else error msg;
    1.14  fun deny p msg = if p then error msg else ();