X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsys-file-writer.c;h=7804e5914f72d7ac49f06a1f8ccb1bd71aec48ce;hb=fd3d64301598af490d54df88fb485853521e283f;hp=c5392666ff9d441d33b139c688d1a77b638e42b8;hpb=cc6a060446e71cace2d828a864c85702e04aba7c;p=pspp

diff --git a/src/data/sys-file-writer.c b/src/data/sys-file-writer.c
index c5392666ff..7804e5914f 100644
--- a/src/data/sys-file-writer.c
+++ b/src/data/sys-file-writer.c
@@ -136,7 +136,7 @@ sfm_writer_default_options (void)
 {
   struct sfm_write_options opts;
   opts.create_writeable = true;
-  opts.compress = get_scompression ();
+  opts.compress = settings_get_scompression ();
   opts.version = 3;
   return opts;
 }
@@ -333,7 +333,7 @@ write_header (struct sfm_writer *w, const struct dictionary *d)
     }
   else
     {
-      static const char *month_name[12] =
+      static const char *const month_name[12] =
         {
           "Jan", "Feb", "Mar", "Apr", "May", "Jun",
           "Jul", "Aug", "Sep", "Oct", "Nov", "Dec",