From e867d7037eb823a4e60bf0ff7b05b321f2117e75 Mon Sep 17 00:00:00 2001
From: xxsoca <dennis.haupt@gmail.com>
Date: Thu, 22 Jun 2023 22:27:05 +0200
Subject: [PATCH] abolish game_control

---
 daten.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/daten.pl b/daten.pl
index 6f2a311..43b5cbc 100644
--- a/daten.pl
+++ b/daten.pl
@@ -68,6 +68,7 @@ reset_game :-
 	abolish(current_player/1),
 	abolish(game_window/1),
 	abolish(game_table/1),
+	abolish(game_control/1),
 	abolish(player_tokens/2).