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

diff --git a/src/data/settings.c b/src/data/settings.c
index 95fda576da..b1d4a80b9d 100644
--- a/src/data/settings.c
+++ b/src/data/settings.c
@@ -452,7 +452,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 +713,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;
+}