X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=e0e680f30b5e621b6b21b320b652918519f17f88;hb=e2583dfdd29bc30e30ec1f0b38cb261ba6d87e37;hp=517d74affdafe7b7b903bb1d8057f593fa326bdd;hpb=d0b91eae59319ab2756d0d43b9cb15eb9cd3c234;p=pspp-builds.git

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 517d74af..e0e680f3 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -168,7 +168,7 @@ main (int argc, char *argv[])
 				 GTK_MINOR_VERSION,
 				 GTK_MICRO_VERSION)) )
     {
-      g_warning (vers);
+      g_warning ("%s", vers);
     }
 
   /* Let GDK remove any options that it owns. */