[m-rev.] diff: fix io__write_string/4

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.5
Branches: main

library/io.m:
    Use mercury_print_string in io__write_string/4.


Index: io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.227
diff -u -r1.227 io.m
--- io.m	10 Jul 2001 12:53:42 -0000	1.227
+++ io.m	16 Jul 2001 10:09:21 -0000
@@ -3922,10 +3922,7 @@
 "{
 	MR_MercuryFile stream = ML_DownCast(MR_MercuryFile, 
 		MR_word_to_c_pointer(Stream));
-	System::IO::StreamWriter *w = new System::IO::StreamWriter(
-		mercury_current_binary_output->stream);
-	w->Write(Message);
-	w->Flush();
+	mercury_print_string(stream, Message);
 	update_io(IO0, IO);
 }").
 

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------