win32.c
branch0.5
changeset 5408 1ed4ede56477
parent 5396 f00869ef4896
child 5422 bd6873dd1c40
--- a/win32.c	Tue Jan 16 23:59:03 2007 +0000
+++ b/win32.c	Wed Jan 17 00:05:51 2007 +0000
@@ -836,7 +836,7 @@
 void ShowInfo(const char *str)
 {
 	if (_has_console) {
-		puts(str);
+		fprintf(stderr, "%s\n", str);
 	} else {
 		bool old;