From ded172b0d336bdb9072bb118bd76e6916780d509 Mon Sep 17 00:00:00 2001 From: Zeno Rogue Date: Sun, 27 Feb 2022 14:50:46 +0100 Subject: [PATCH] intra:: fixed a crash on reloading --- intra.cpp | 1 + 1 file changed, 1 insertion(+) 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;