X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=6d5f50e1bf0df744b1d14722776cfab4ad4eff6e;hb=629653fda7748c144c7d060421a2c95a593ef603;hp=a3d394618c5e4662113863915fb47e6db16eb090;hpb=2287a5970f043d5e18ebaf0013d0a2968c6f6051;p=pspp-builds.git

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index a3d39461..6d5f50e1 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -109,7 +109,7 @@ main (int argc, char *argv[])
 				 GTK_MINOR_VERSION,
 				 GTK_MICRO_VERSION)) )
     {
-      g_critical (vers);
+      g_warning (vers);
     }
 
   /* Deal with options like --version, --help etc */