--- SIDPlayer/src/prefs.cpp	2003/04/11 20:23:02	1.6
+++ SIDPlayer/src/prefs.cpp	2003/10/21 16:56:19	1.7
@@ -125,7 +125,7 @@ void PrefsInit(int &argc, char **&argv)
  *  Deinitialize preferences
  */
 
-void PrefsExit(void)
+void PrefsExit()
 {
 	// Free prefs list
 	prefs_node *p = the_prefs, *next;
@@ -179,7 +179,7 @@ static void print_options(const prefs_de
 	}
 }
 
-void PrefsPrintUsage(void)
+void PrefsPrintUsage()
 {
 	printf("\nGeneral options:\n");
 	print_options(common_prefs_items);