X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelp-menu.c;h=823525e1ed07d4ff47eb640ca6386fe86f2f7ebd;hb=d90a738745006b2696994bec344c160fca1f755b;hp=30bbc7522bf73716f197d510bfda7e66fd1612ae;hpb=3dd0f6ae0d5eb73a2270a243e443c4ae03c2c16e;p=pspp

diff --git a/src/ui/gui/help-menu.c b/src/ui/gui/help-menu.c
index 30bbc7522b..823525e1ed 100644
--- a/src/ui/gui/help-menu.c
+++ b/src/ui/gui/help-menu.c
@@ -78,7 +78,7 @@ about_new (GtkMenuItem *mmm, GtkWindow *parent)
      /* TRANSLATORS: Do not translate this string.  Instead, put the names of the people
 	who have helped in the translation. */
      _("translator-credits")
-     );
+);
 
   gtk_window_set_transient_for (GTK_WINDOW (about), parent);
 
@@ -198,7 +198,7 @@ online_help (const char *page)
                         NULL, G_SPAWN_SEARCH_PATH,
                         NULL, NULL,   NULL,   &htmlerr))
 #endif
-      )
+)
     {
       msg (ME, _("Cannot open reference manual via yelp: %s. "
                  "Cannot open via html: %s "