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=47b3f3d5ce6081f58f53afe03a2f1bd1fd381904;hpb=f863b6025897457e1b61d043833e25a35a4c246e;p=pspp

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