Internals: Clean up some constructors. No functional change intended.

This commit is contained in:
Wilson Snyder
2025-07-03 18:59:32 -04:00
parent 08fef668cd
commit 6c9cbaef62
17 changed files with 66 additions and 66 deletions
+1 -1
View File
@@ -83,7 +83,7 @@ class CoverageVisitor final : public VNVisitor {
CoverTerm(AstNodeExpr* exprp, bool objective, const string& emitV)
: m_exprp{exprp}
, m_objective{objective}
, m_emitV(emitV) {}
, m_emitV{emitV} {}
};
using CoverExpr = std::deque<CoverTerm>;
using CoverExprs = std::list<CoverExpr>;