From e7793907bfe413d42fc2a2a1ad5a5102a5f9a16f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 14 Jan 2024 18:34:00 +0100 Subject: [PATCH] remove ranges header --- src/state_explorer.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/state_explorer.cpp b/src/state_explorer.cpp index 6130410..f42b67a 100644 --- a/src/state_explorer.cpp +++ b/src/state_explorer.cpp @@ -4,7 +4,6 @@ #include #include #include -#include #include #include @@ -477,4 +476,4 @@ namespace Hanabi std::cout << "Unrecognized command. Type 'help' for a list of available commands." << std::endl; } } -} \ No newline at end of file +}