X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.c;h=f9c65fc8c4ee61f53eb2c4cc3db9af21a6f49417;hb=9e0e4996fad6563f0a1ce628b80db5c23ef8279e;hp=ad509fb028059a6c6d3af86445a1bdb9e744ce08;hpb=a1efcf97ca2f75f4be6a0389ff2372c03ed2d4e1;p=pspp

diff --git a/src/data/settings.c b/src/data/settings.c
index ad509fb028..f9c65fc8c4 100644
--- a/src/data/settings.c
+++ b/src/data/settings.c
@@ -22,9 +22,9 @@
 #include "format.h"
 #include "value.h"
 #include "xalloc.h"
-#include <libpspp/i18n.h>
 #include <libpspp/integer-format.h>
 #include <libpspp/message.h>
+#include <libpspp/i18n.h>
 
 #include "error.h"
 
@@ -147,7 +147,6 @@ settings_init (int *width, int *length)
 {
   init_viewport (width, length);
   settings_set_epoch (-1);
-  i18n_init ();
   the_settings.styles = fmt_create ();
 
   settings_set_decimal_char (get_system_decimal ());
@@ -157,7 +156,6 @@ void
 settings_done (void)
 {
   fmt_done (the_settings.styles);
-  i18n_done ();
 }
 
 /* Returns the floating-point format used for RB and RBHEX