format and check it in ci

This commit is contained in:
Yilou Wang 2026-03-03 11:03:12 +01:00
parent def08100d8
commit d7557ca355
1 changed files with 1 additions and 1 deletions

View File

@ -750,7 +750,7 @@ void VlRandomizer::disable_soft(const std::string& varName) {
// IEEE 1800-2017 18.5.13: Remove all soft constraints referencing the variable
m_softConstraints.erase(
std::remove_if(m_softConstraints.begin(), m_softConstraints.end(),
[&](const std::string& c) { return c.find(varName) != std::string::npos; }),
[&](const std::string& c) { return c.find(varName) != std::string::npos; }),
m_softConstraints.end());
}