From a08a0cb871973cc4ad96a001d15c893ce88fca5c Mon Sep 17 00:00:00 2001 From: Chuyue Sun Date: Fri, 19 Jul 2024 21:57:17 +0000 Subject: [PATCH] use bool_vector --- src/util/permutation.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/permutation.cpp b/src/util/permutation.cpp index 26c8c1fbe..47b9d85a1 100644 --- a/src/util/permutation.cpp +++ b/src/util/permutation.cpp @@ -67,7 +67,7 @@ void permutation::display(std::ostream & out) const { bool permutation::check_invariant() const { SASSERT(m_p.size() == m_inv_p.size()); unsigned n = m_p.size(); - std::vector check_vector(n, false); // To check for duplicate and out-of-range values + bool_vector check_vector(n, false); // To check for duplicate and out-of-range values for (unsigned i = 0; i < n; i++) { unsigned pi = m_p[i]; SASSERT(m_p[i] < n);