Delete bad test

reiniscirpons · Apr 9, 2024 · 2620f9a · 2620f9a
1 parent e7afd9b
commit 2620f9a
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/tests/test-todd-coxeter.cpp b/tests/test-todd-coxeter.cpp
@@ -2661,8 +2661,6 @@ namespace libsemigroups {
     presentation::sort_each_rule(p);
     presentation::sort_rules(p);
 
-    REQUIRE(presentation::length(p) == 105);
-
     ToddCoxeter tc(twosided, p);
     // tc.run_until([&tc]() -> bool {
     //   return tc.word_graph().number_of_nodes() >= 10'000;
@@ -4512,7 +4510,7 @@ namespace libsemigroups {
       presentation::add_rule(p, pow({a}, 3), {a});
     }
     using words::operator+;
-    Words        words;
+    Words words;
     words.number_of_letters(n).min(0).max(8);
 
     for (size_t a = 0; a < n - 1; ++a) {