changeset 2467 | 357adb429fda |
parent 2112 | 3902e9af752f |
child 3191 | 14bd6e5985f1 |
--- 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;