X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelp-menu.c;h=61b9140d1e5e11b0e400b88f62d171188950659e;hb=25e76c9c37c623a3eced22d23a60befb0067de68;hp=279f5ef55d5238f73377f819e8bda347486ae9cc;hpb=cbe32a5532404f5046f662f8df4ad3f6b3eb7895;p=pspp

diff --git a/src/ui/gui/help-menu.c b/src/ui/gui/help-menu.c
index 279f5ef55d..61b9140d1e 100644
--- a/src/ui/gui/help-menu.c
+++ b/src/ui/gui/help-menu.c
@@ -46,7 +46,7 @@ about_new (GtkMenuItem *mmm, GtkWindow *parent)
   gtk_about_dialog_set_website (GTK_ABOUT_DIALOG (about), PACKAGE_URL);
 
   gtk_about_dialog_set_version (GTK_ABOUT_DIALOG (about),
-				version);
+				announced_version);
 
   gtk_about_dialog_set_authors (GTK_ABOUT_DIALOG (about),
 				(const gchar **) authors);