*/
eot_block::eot_block(eot_block & org){
operator=(org);
+ m_has_known_type=true;
}
/***************************************************************/
*/
vector<string> eot_block:: get_description(){
vector<string> result;
- string r_string=" (EOT) End of Tape mark";
+ string r_string="***********(EOT)*****End of Tape mark **********************";
result.insert(result.end(),r_string);
return result;
}