TFL/utils.sml

--- a/TFL/utils.sml	Fri Dec 20 16:10:30 1996 +0100
+++ b/TFL/utils.sml	Fri Jan 03 10:45:31 1997 +0100
@@ -19,7 +19,7 @@
 val MESG_string = info_string "Message"
 end;
 
-fun Raise (e as ERR sss) = (output(std_out, ERR_string sss);  raise e)
+fun Raise (e as ERR sss) = (prs (ERR_string sss); raise e)
   | Raise e = raise e;