X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=0c88204ae1469347daf7b25347cb4873883f8eec;hb=f994fab43f6aeb00cfb40d24c4c4c6ed518a05b9;hp=a5e054f02d527d21020257f015eebea1b2b0b2a3;hpb=9df711bda03419b3a68e22b43d7b32f2963617a2;p=pspp-builds.git

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index a5e054f0..0c88204a 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -23,6 +23,7 @@
 
 #include "libpspp/argv-parser.h"
 #include "libpspp/assertion.h"
+#include "libpspp/cast.h"
 #include "libpspp/getl.h"
 #include "libpspp/version.h"
 #include "libpspp/copyleft.h"
@@ -145,7 +146,7 @@ startup_option_callback (int id, void *show_splash_)
     case OPT_VERSION:
       version_etc (stdout, "psppire", PACKAGE_NAME, PACKAGE_VERSION,
                    "Ben Pfaff", "John Darrington", "Jason Stover",
-                   (char *) NULL);
+                   NULL_SENTINEL);
       exit (EXIT_SUCCESS);
 
     case OPT_NO_SPLASH: