1 files changed, 0 insertions, 7 deletions
diff --git a/gtk-gui.c b/gtk-gui.c
index 3c4c99068..b6904045b 100644
--- a/gtk-gui.c
+++ b/gtk-gui.c
@@ -35,13 +35,6 @@ const char *existing_filename;
 const char *divelist_font;
 const char *default_filename;
 
-struct preferences prefs = {
-	SI_UNITS,
-	{ TRUE, FALSE, },
-	{ FALSE, FALSE, FALSE, 1.6, 4.0, 13.0},
-	FALSE, FALSE, FALSE, 0.30, 0.75
-};
-
 char *nicknamestring;
 
 static GtkWidget *dive_profile;