X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.c;h=4c0fde083740ea483852acbaa56e1b53b07dbbb8;hb=197c17c92ac8124ae389434afa105bee90b96ad8;hp=95fda576dae5ef61bb24c4c43f52a210b55b083e;hpb=40c95e4fddf5e16df9cf634d32bec205c3cbfb18;p=pspp

diff --git a/src/data/settings.c b/src/data/settings.c
index 95fda576da..4c0fde0837 100644
--- a/src/data/settings.c
+++ b/src/data/settings.c
@@ -29,7 +29,6 @@
 #include "libpspp/integer-format.h"
 #include "libpspp/message.h"
 
-#include "gl/error.h"
 #include "gl/minmax.h"
 #include "gl/xalloc.h"
 
@@ -452,7 +451,7 @@ settings_get_workspace_cases (const struct caseproto *proto)
    bytes. */
 
 void
-settings_set_workspace ( size_t workspace)
+settings_set_workspace (size_t workspace)
 {
   the_settings.workspace = workspace;
 }
@@ -713,3 +712,10 @@ settings_get_var_style (void)
 {
   return the_settings.var_output_style;
 }
+
+
+void
+settings_set_var_style (enum settings_var_style s)
+{
+  the_settings.var_output_style = s;
+}