X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsettings.h;h=27ba0cee1a9d1267220bfcd013f6676bbac90b3f;hb=add3ba666ddc4f88fbf0934184c82e35c0787795;hp=7dcb0e34a479c2d5bf18cd431cd810e626decc6f;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp

diff --git a/src/data/settings.h b/src/data/settings.h
index 7dcb0e34a4..27ba0cee1a 100644
--- a/src/data/settings.h
+++ b/src/data/settings.h
@@ -28,7 +28,7 @@
 struct caseproto;
 struct settings;
 
-void settings_init (int *, int *);
+void settings_init (void);
 void settings_done (void);
 
 enum float_format settings_get_input_float_format (void);