1 files changed, 2 insertions, 0 deletions
diff --git a/src/cmd3.cc b/src/cmd3.cc
index d65087f8..0010a6ea 100644
--- a/src/cmd3.cc
+++ b/src/cmd3.cc
@@ -557,6 +557,8 @@ void do_cmd_drop(void)
  */
 void do_cmd_destroy(void)
 {
+	auto const &k_info = game->edit_data.k_info;
+
 	int old_number;
 
 	bool_ force = FALSE;