# HG changeset patch
# User reimar
# Date 1278006392 0
# Node ID 312e3b425f0f94cce5d3c7660a2f8df51bf2e0e6
# Parent  eaf15344b19d3864c72a6adbcac45c276d01f452
Fix win32 gui compilation.

diff -r eaf15344b19d -r 312e3b425f0f gui/win32/gui.c
--- a/gui/win32/gui.c	Thu Jul 01 17:28:15 2010 +0000
+++ b/gui/win32/gui.c	Thu Jul 01 17:46:32 2010 +0000
@@ -58,7 +58,6 @@
 /* Globals / Externs */
 void renderinfobox(skin_t *skin, window_priv_t *priv);
 void renderwidget(skin_t *skin, image *dest, widget *item, int state);
-void print_version(void);
 float sub_aspect;
 
 DWORD oldtime;
@@ -107,7 +106,7 @@
         fp = freopen("con", "w", stdout);
         *stderr = *fp;
         setvbuf(stderr, NULL, _IONBF, 0);
-        print_version();
+        print_version("MPlayer");
         console_state = 1;
     }
 }