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

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;
+}