void ManagementExtension::Print (ostream &os) const { //os << "{ -- SEQUENCE --" << endl; //indentG += stdIndentG; { //Indent (os, indentG); os << "identifier "; os << identifier; os << " " ;/*T*/ //changed "," to " " } if (NOT_NULL (significance)) { ////Indent (os, indentG); os << "significance "; os << *significance; } else { Indent (os, indentG); os << "significance "; os << "-- void --"; os << "," << endl; }