src/Pure/library.ML

--- a/src/Pure/library.ML	Wed Dec 22 19:01:27 1993 +0100
+++ b/src/Pure/library.ML	Wed Dec 29 10:14:58 1993 +0100
@@ -216,7 +216,8 @@
 
 (*Print error message and abort to top level*)
 exception ERROR;
-fun error (msg) = (writeln msg;  raise ERROR);
+fun error msg = (writeln msg; raise ERROR);
+fun sys_error msg = (writeln "-- System Error --"; error msg);
 
 fun assert p msg = if p then () else error msg;
 fun deny p msg = if p then error msg else ();