# # # patch "roster.cc" # from [4c069ccd18ed3a6dc3e9c99aa13ea41bafbb2fb6] # to [1c67501f0f7d546ce3231aea6f4bd6fbe7b47c30] # ============================================================ --- roster.cc 4c069ccd18ed3a6dc3e9c99aa13ea41bafbb2fb6 +++ roster.cc 1c67501f0f7d546ce3231aea6f4bd6fbe7b47c30 @@ -712,6 +712,7 @@ I(null_node(parent) && null_name(name)); I(null_node(n->parent)); I(null_name(n->name)); + I(!has_root()); root_dir = downcast_to_dir_t(n); I(i == old_locations.end() || i->second != make_pair(root_dir->parent, root_dir->name));