Fix #9353: [Script] Garbage collecting on priority queues could crash the game

(cherry picked from commit 71f3c35288)
2021-06-12 16:45:26 +02:00
parent d46c764d60
commit 057e858d32
2 changed files with 6 additions and 3 deletions
--- a/src/script/script_instance.hpp
+++ b/src/script/script_instance.hpp
@@ -68,7 +68,7 @@ public:
 	/**
 	 * Let the VM collect any garbage.
 	 */
-	void CollectGarbage() const;
+	void CollectGarbage();

 	/**
 	 * Get the storage of this script.