--- BasiliskII/src/Unix/prefs_editor_gtk.cpp	2001/06/30 20:18:36	1.16
+++ BasiliskII/src/Unix/prefs_editor_gtk.cpp	2001/07/11 19:26:14	1.17
@@ -1043,7 +1043,7 @@ static void read_memory_settings(void)
 // Create "Memory/Misc" pane
 static void create_memory_pane(GtkWidget *top)
 {
-	GtkWidget *box, *hbox, *vbox, *hbox2, *label, *scale, *menu;
+	GtkWidget *box, *hbox, *vbox, *hbox2, *label, *scale;
 
 	box = make_pane(top, STR_MEMORY_MISC_PANE_TITLE);