X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fsettings.c;h=114200cf060d5a4ed0d5adc2c910f2a3e81b0c42;hb=fd42aabc26013ace3f87acc4108c3d8a3b238232;hp=5c4e6899b90bd66befbeead94ae40bed2ac64afe;hpb=9743aa05898c191b3c2d3fead5ae0315beb44bb3;p=pspp

diff --git a/src/data/settings.c b/src/data/settings.c
index 5c4e6899b9..114200cf06 100644
--- a/src/data/settings.c
+++ b/src/data/settings.c
@@ -374,9 +374,9 @@ settings_get_max_messages (enum msg_severity severity)
 
 /* Sets the maximum number of messages to show of the given SEVERITY before
    aborting to MAX.  (The value for MSG_S_WARNING is interpreted as maximum
-   number of warnings and errors combined.)  In addition, in the case of 
+   number of warnings and errors combined.)  In addition, in the case of
    warnings the special value of zero indicates that no warnings are to be
-   issued. 
+   issued.
 */
 void
 settings_set_max_messages (enum msg_severity severity, int max)
@@ -707,7 +707,7 @@ settings_get_output_routing (enum settings_output_type type)
   return the_settings.output_routing[type] | SETTINGS_DEVICE_UNFILTERED;
 }
 
-enum settings_value_style 
+enum settings_value_style
 settings_get_value_style (void)
 {
   return the_settings.value_output_style;