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

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