diff --git a/intra.cpp b/intra.cpp index 08e048c8..1471d1b9 100644 --- a/intra.cpp +++ b/intra.cpp @@ -776,6 +776,7 @@ EX void erase_all_maps() { intra_id.clear(); connections.clear(); data.clear(); + full_sample_list.clear(); } EX set need_to_save;