diff --git a/src/flenser.cc b/src/flenser.cc
index 96a79cb..ca5d19b 100644
--- a/src/flenser.cc
+++ b/src/flenser.cc
@@ -508,7 +508,6 @@ int main(int argc, char **argv)
    a_Tls_freeall();
    a_Dns_freeall();
    a_History_freeall();
-   a_Prefs_freeall();
    Keys::free();
    Paths::free();
    dw::core::freeall();
diff --git a/src/prefs.cc b/src/prefs.cc
index 92a4289..6779c9d 100644
--- a/src/prefs.cc
+++ b/src/prefs.cc
@@ -131,11 +131,3 @@ void a_Prefs_init(void)
    prefs.penalty_em_dash_right_2 = 800;
    prefs.stretchability_factor = 100;
 }
-
-/**
- *  memory-deallocation.
- *  (Call this one at exit time)
- */
-void a_Prefs_freeall()
-{
-}
diff --git a/src/prefs.hh b/src/prefs.hh
index 74c8401..bec8895 100644
--- a/src/prefs.hh
+++ b/src/prefs.hh
@@ -137,7 +137,6 @@ struct DilloPrefs
 extern DilloPrefs prefs;
 
 void a_Prefs_init(void);
-void a_Prefs_freeall(void);
 
 #ifdef __cplusplus
 }