Drop an useless property.

There is no way for a ready level to ever move to a different place (ok,
save from ./crawl --edit-save), and now even changing a branch's settings
won't do this.

1 files changed, 0 insertions, 11 deletions

diff --git a/crawl-ref/source/dbg-asrt.cc b/crawl-ref/source/dbg-asrt.cc
index f19ddb588a..587bbdcb41 100644
--- a/crawl-ref/source/dbg-asrt.cc
+++ b/crawl-ref/source/dbg-asrt.cc
@@ -95,25 +95,14 @@ static void _dump_compilation_info(FILE* file)
 
 static void _dump_level_info(FILE* file)
 {
-    CrawlHashTable &props = env.properties;
-
     fprintf(file, "Place info:\n");
 
     fprintf(file, "branch = %d, depth = %d\n\n",
             (int)you.where_are_you, you.depth);
 
     std::string place = level_id::current().describe();
-    std::string orig_place;
-
-    if (!props.exists(LEVEL_ID_KEY))
-        orig_place = "ABSENT";
-    else
-        orig_place = props[LEVEL_ID_KEY].get_string();
 
     fprintf(file, "Level id: %s\n", place.c_str());
-    if (place != orig_place)
-        fprintf(file, "Level id when level was generated: %s\n",
-                orig_place.c_str());
 
     debug_dump_levgen();
 }