707
706
EmitVPrefixedVisitor(AstNode* nodep, ostream& os, const string& prefix, int flWidth,
708
707
AstSenTree* domainp, bool user3mark)
709
: EmitVBaseVisitor(domainp), m_formatter(os, prefix, flWidth), m_user3mark(user3mark) {
708
: EmitVBaseVisitor(domainp), m_formatter(os, prefix, flWidth) {
710
709
if (user3mark) { AstUser3InUse::check(); }