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

2021-06-12 16:45:26 +02:00
parent 40cec34836
commit 71f3c35288
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.