update devmods/knuth-bendix.cpp

2022-07-12 10:52:38 +02:00 · 2022-07-12 10:52:38 +02:00 · 9c9726249a
parent b3c3cc331e
commit 9c9726249a
1 changed files with 1 additions and 1 deletions
--- a/devmods/knuth-bendix.cpp
+++ b/devmods/knuth-bendix.cpp
@ -435,7 +435,7 @@ bool forked = false;
 int max_children = 7;

 void test_all(string setname) {
-  disable_floorshapes = true;
+  floorshapes_level = 1;
  vector<string> filenames;
  std::ifstream is("devmods/rulegen-tests/"+setname+".lst");
  string s;