X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fset.q;h=eb0a7331023c9f11605922a00e65b342ec5cceb2;hb=5815daa55ab097fed75048e5800ff26b01a7adec;hp=f9a00c52a17b6c7c9f64e5a82e75d2a459e95bf0;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/set.q b/src/set.q
index f9a00c52a1..eb0a733102 100644
--- a/src/set.q
+++ b/src/set.q
@@ -87,6 +87,9 @@ int tgetnum (const char *);
 #endif /* !HAVE_TERMCAP_H */
 #endif /* !HAVE_LIBTERMCAP */
 
+#include "gettext.h"
+#define _(msgid) gettext (msgid)
+
 static int set_errors;
 static int set_messages;
 static int set_results;
@@ -1327,7 +1330,7 @@ get_include(void)
  return (cmd.inc != STC_OFF );
 }
 
-unsigned char
+char
 get_endcmd(void)
 {
   return cmd.s_endcmd[0];
@@ -1403,7 +1406,7 @@ set_rng (unsigned long seed)
 {
   rng = gsl_rng_alloc (gsl_rng_mt19937);
   if (rng == NULL)
-    out_of_memory ();
+    xalloc_die ();
   gsl_rng_set (rng, seed);
 }