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