src/win32.c
changeset 5576 b19c640dfc37
parent 5530 24c52cff1a34
--- a/src/win32.c	Tue Jan 09 19:43:46 2007 +0000
+++ b/src/win32.c	Tue Jan 09 21:25:13 2007 +0000
@@ -836,7 +836,7 @@
 void ShowInfo(const char *str)
 {
 	if (_has_console) {
-		puts(str);
+		fprintf(stderr, str);
 	} else {
 		bool old;