From 69835271043bbf4c6118cd13e9625e001b1d4552 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 18 Jul 2020 00:20:26 +0100
Subject: [PATCH] impl InstanceGuard::game_destroy

---
 src/global.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/global.rs b/src/global.rs
index 59b20bdf..c2fec9b0 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -141,7 +141,7 @@ impl InstanceGuard<'_> {
     Id::global_tokens(PRIVATE_Y).write().unwrap().insert(token, iad);
   }
 
-  pub fn destroy(mut self) {
+  pub fn game_destroy(mut self) {
     Self::forget_all_tokens(&mut self.ig.tokens_players);
     Self::forget_all_tokens(&mut self.ig.tokens_clients);
   }
-- 
2.30.2