- Printing the protocol tab-separated from the role is more useful for

script-based parsing.
This commit is contained in:
ccremers 2004-10-14 13:29:28 +00:00
parent 2bc1df6135
commit 87a75106d1

View File

@ -767,7 +767,7 @@ timersPrint (const System sys)
/* modern version: claim label is tuple (protocname, label) */
/* first print protocol.role */
termPrint (cl_scan->label->left.op1);
eprintf (".");
eprintf ("\t");
termPrint (cl_scan->rolename);
eprintf ("\t");
/* second print event_label */