From 374a99b388f5e0ede9b15d1193a5c60a31b06df5 Mon Sep 17 00:00:00 2001 From: Zachary VANVLASSELAER Date: Mon, 27 Nov 2023 18:44:24 +0100 Subject: [PATCH] a --- strategies.json | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/strategies.json b/strategies.json index 00250935..71162f81 100644 --- a/strategies.json +++ b/strategies.json @@ -59,12 +59,6 @@ "Behavior": 1, "args": {} }, - { - "Name": "Fish", - "Used": true, - "Behavior": 1, - "args": {} - }, { "Name": "Gurth\u0027s Theorem", "Used": true, @@ -227,6 +221,12 @@ "Behavior": 2, "args": {} }, + { + "Name": "Fish", + "Used": true, + "Behavior": 1, + "args": {} + }, { "Name": "Almost Locked Sets", "Used": true,