X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fsettings.h;h=abb1743b04452786a0a94ebe7dd7081c6bc7a95a;hb=ebfa4a33ff1d00563689d49d4f548af37b544a1c;hp=0593f2d10c2ce8a59815d1e457c525eba28fbf2f;hpb=836682e6cff19cce534966b7bab4a933833f9693;p=pspp

diff --git a/src/settings.h b/src/settings.h
index 0593f2d10c..abb1743b04 100644
--- a/src/settings.h
+++ b/src/settings.h
@@ -32,8 +32,8 @@ enum
     SET_ROUTE_DISABLE = 010	/* Disable output--overrides all other bits. */
   };
 
-void init_settings (void);
-void done_settings (void);
+void settings_init (void);
+void settings_done (void);
 
 void force_long_view (void);
 int get_viewlength (void);