fix after merge

vprover · Dec 12, 2024 · fa64d60 · fa64d60
1 parent e5ba786
commit fa64d60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Test/TestUtils.cpp b/Test/TestUtils.cpp
@@ -278,7 +278,7 @@ bool TestUtils::eqModACRect(Kernel::TermList lhs, Kernel::TermList rhs)
 
   if (vl.size() != vr.size()) return false;
 
-  return anyPerm(vl.size(), [&](DArray<unsigned> perm) {
+  return anyPerm(vl.size(), [&](auto& perm) {
     AcRectComp c {vl, vr, perm};
     return eqModAC_(lhs, rhs, c);
   });