# HG changeset patch
# User wenzelm
# Date 869592832 -7200
# Node ID a148c7e7152e2acaff0bee43cd7a3c8de1031316
# Parent  f348e8a2db4b5eb1318076ff7655e935ae6c80d5
added error_msg;

diff -r f348e8a2db4b -r a148c7e7152e src/Pure/library.ML
--- 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 ();