X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=src%2Fdata%2Fsettings.c;fp=src%2Fdata%2Fsettings.c;h=47b3f3d5ce6081f58f53afe03a2f1bd1fd381904;hp=95fda576dae5ef61bb24c4c43f52a210b55b083e;hb=f863b6025897457e1b61d043833e25a35a4c246e;hpb=01056c26493652935e9ad48f6c5da5d84473d885

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