From 2bafda5f185f7917fb3ef349300b7b323cf123f2 Mon Sep 17 00:00:00 2001 From: Zeno Rogue Date: Sat, 8 Oct 2022 02:02:03 +0200 Subject: [PATCH] a comment on why OINF should be divisible by 3 --- classes.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/classes.cpp b/classes.cpp index 0484d4d7..0e468931 100644 --- a/classes.cpp +++ b/classes.cpp @@ -828,6 +828,7 @@ static const flagtype qCAT = Flag(28); // note: dnext assumes that x&7 equals 7 static const int SEE_ALL = 50; +// note: check_football_colorability in arbitrile.cpp assumes OINF is divisible by 3 static const int OINF = 123; extern eGeometry geometry;