X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=f68f2ad66a24ab3b4a1f774594de76c783dc895a;hb=015e221b0f8578afee769528572c76387f26c629;hp=eca3f98f6866d9ddeb1a44133914c427f4bfad14;hpb=d9d37c3a04dc15263c561174b87e48a4650b412c;p=pspp-builds.git

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index eca3f98f..f68f2ad6 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -110,7 +110,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 */