@c "cmd/print-event-header.texi"
@c extracted from "../../src/sim/chpsim/Command.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Command print-event-header
Prints a table header suitable for interpreting printed event records.
@end deffn

