1 files changed, 3 insertions, 1 deletions
diff --git a/midend.c b/midend.c
index 5344d88..d662d7a 100644
--- a/midend.c
+++ b/midend.c
@@ -2937,7 +2937,9 @@ static config_item *midend_get_prefs(midend *me, game_ui *ui)
     all_prefs[pos].type = C_END;
 
     if (be_prefs)
-        free_cfg(be_prefs);
+        /* We already copied each element, so don't free those with
+           free_cfg(). */
+        sfree(be_prefs);
 
     return all_prefs;
 }