TFL/utils.sml

--- a/TFL/utils.sml	Thu May 15 11:35:26 1997 +0200
+++ b/TFL/utils.sml	Thu May 15 12:29:59 1997 +0200
@@ -19,7 +19,7 @@
 val MESG_string = info_string "Message"
 end;
 
-fun Raise (e as ERR sss) = (prs (ERR_string sss); raise e)
+fun Raise (e as ERR sss) = (output(std_out, ERR_string sss);  raise e)
   | Raise e = raise e;